METHOD_0 ( ) { IDENT_0 . IDENT_1 . IDENT_2 state = new IDENT_0 . IDENT_1 . METHOD_1 ( ) ; state . METHOD_2 ( IDENT_0 . IDENT_1 . IDENT_3 ) ; state . METHOD_2 ( IDENT_0 . IDENT_1 . IDENT_4 ) ; state . METHOD_2 ( IDENT_0 . IDENT_1 . IDENT_5 ) ; state . METHOD_2 ( IDENT_0 . IDENT_1 . IDENT_6 ) ; state . METHOD_3 ( IDENT_0 . IDENT_1 . IDENT_7 ) ; state . METHOD_2 ( IDENT_0 . IDENT_1 . IDENT_8 ) ; state . METHOD_2 ( IDENT_0 . IDENT_1 . IDENT_9 ) ; state . METHOD_2 ( IDENT_0 . IDENT_1 . IDENT_10 ) ; state . METHOD_2 ( IDENT_0 . IDENT_1 . IDENT_11 ) ; "<AssertPlaceHolder>" ; } METHOD_4 ( ) { int IDENT_12 = 0 ; for ( IDENT_0 . IDENT_1 . IDENT_13 . IDENT_13 state : IDENT_14 . METHOD_5 ( ) ) { if ( state . equals ( IDENT_0 . IDENT_1 . IDENT_7 ) ) { if ( METHOD_6 ( ) ) { IDENT_12 ++ ; } } if ( ( ( ( ( state . equals ( IDENT_0 . IDENT_1 . IDENT_7 ) ) || ( state . equals ( IDENT_0 . IDENT_1 . IDENT_11 ) ) ) || ( state . equals ( IDENT_0 . IDENT_1 . IDENT_10 ) ) ) || ( state . equals ( IDENT_0 . IDENT_1 . IDENT_9 ) ) ) || ( state . equals ( IDENT_0 . IDENT_1 . IDENT_8 ) ) ) { continue ; } if ( IDENT_14 . get ( state ) . METHOD_7 ( ) ) { IDENT_12 ++ ; } } return IDENT_12 == 0 ; }
org . junit . Assert . assertTrue ( state . METHOD_4 ( ) )