METHOD_0 ( ) { model . METHOD_1 ( INT_0 ) ; "<AssertPlaceHolder>" ; } METHOD_2 ( ) { return ( model . METHOD_3 ( ) ) || ( model . METHOD_4 ( ) ) ; }
org . junit . Assert . assertFalse ( model . METHOD_2 ( ) )