METHOD_0 ( ) { IDENT_0 . IDENT_1 . IDENT_2 ex = new IDENT_0 . IDENT_1 . METHOD_1 ( ) ; "<AssertPlaceHolder>" ; } METHOD_2 ( int ) { if ( a < 0 ) { return false ; } int IDENT_3 = a OP_0 2 ; if ( IDENT_3 == 0 ) return false ; int IDENT_4 = ( ( int ) ( ( java . lang . Math . METHOD_3 ( a ) ) / 2 ) ) ; for ( int i = 3 ; i <= IDENT_4 ; i += 2 ) { int IDENT_5 = a OP_0 i ; if ( IDENT_5 == 0 ) { return false ; } } return true ; }
org . junit . Assert . assertTrue ( ex . METHOD_2 ( 7 ) )