METHOD_0 ( ) { IDENT_0 . IDENT_1 . METHOD_1 ( Integer . MAX_VALUE ) ; "<AssertPlaceHolder>" ; } METHOD_2 ( ) { if ( ! ( METHOD_3 ( ) ) ) { return true ; } MOD_0 ( IDENT_2 ) { return ( IDENT_3 ) >= 0 ; } }
org . junit . Assert . assertTrue ( IDENT_0 . IDENT_1 . METHOD_2 ( ) )