METHOD_0 ( ) { model . METHOD_1 ( true ) ; boolean result = IDENT_0 . METHOD_2 ( ) ; "<AssertPlaceHolder>" ; } METHOD_2 ( ) { if ( ( model . METHOD_3 ( ) ) == null ) return false ; if ( model . METHOD_3 ( ) . contains ( IDENT_1 . IDENT_2 ) ) return true ; if ( model . METHOD_3 ( ) . contains ( IDENT_1 . IDENT_3 ) ) return true ; if ( model . METHOD_4 ( ) ) return false ; if ( model . METHOD_3 ( ) . contains ( IDENT_1 . IDENT_4 ) ) return false ; else return false ; }
org . junit . Assert . assertFalse ( result )