METHOD_0 ( ) { java . lang . String version = IDENT_0 . version ( ) ; int IDENT_1 = java . lang . Integer . METHOD_1 ( version . split ( STRING_0 ) [ 0 ] ) ; int IDENT_2 = java . lang . Integer . METHOD_1 ( version . split ( STRING_0 ) [ 1 ] ) ; "<AssertPlaceHolder>" ; io . IDENT_0 . api . Map commands = IDENT_0 . commands ( ) ; } version ( ) { io . IDENT_0 . api . Map m = ( ( io . IDENT_0 . api . Map ) ( METHOD_2 ( STRING_1 ) ) ) ; return ( ( java . lang . String ) ( m . get ( STRING_2 ) ) ) ; }
org . junit . Assert . assertTrue ( ( ( IDENT_1 >= 0 ) && ( IDENT_2 >= 4 ) ) )