METHOD_0 ( ) { IDENT_0 . IDENT_1 . IDENT_2 state = new IDENT_0 . IDENT_1 . METHOD_1 ( ) ; "<AssertPlaceHolder>" ; } METHOD_2 ( ) { boolean IDENT_3 = true ; for ( IDENT_0 . IDENT_1 . IDENT_4 . IDENT_4 state : IDENT_5 . METHOD_3 ( ) ) { if ( ( ( state . equals ( IDENT_0 . IDENT_1 . IDENT_6 ) ) && ( IDENT_5 . get ( IDENT_0 . IDENT_1 . IDENT_6 ) . METHOD_4 ( ) ) ) || ( ( state . equals ( IDENT_0 . IDENT_1 . IDENT_7 ) ) && ( IDENT_5 . get ( IDENT_0 . IDENT_1 . IDENT_7 ) . METHOD_4 ( ) ) ) ) { return false ; } if ( ( state . equals ( IDENT_0 . IDENT_1 . IDENT_6 ) ) || ( state . equals ( IDENT_0 . IDENT_1 . IDENT_7 ) ) ) { continue ; } IDENT_3 = IDENT_3 && ( IDENT_5 . get ( state ) . METHOD_4 ( ) ) ; } return IDENT_3 ; }
org . junit . Assert . assertFalse ( state . METHOD_2 ( ) )