METHOD_0 ( ) { int x = id ( INT_0 ) ; if ( x == INT_1 ) { x ++ ; METHOD_1 ( ) ; x ++ ; } "<AssertPlaceHolder>" ; } id ( long ) { return value ; }
org . junit . Assert . assertEquals ( x , id ( INT_0 ) )