public void METHOD_1 ( ) { int VAR_1 ; VAR_2 = INT_1 ; VAR_3 = 0 ; VAR_4 = INT_2 ; p . METHOD_2 ( ) ; assert ( VAR_2 ) == ( ( VAR_2 ) - ( VAR_4 ) ) ; assert ( VAR_3 ) == ( ( VAR_3 ) + ( VAR_4 ) ) ; VAR_2 = 1 ; p . METHOD_2 ( ) ; assert VAR_5 . equals ( STRING_1 ) ; }

public void METHOD_1 ( ) { int VAR_1 ; VAR_2 = INT_1 ; VAR_3 = 0 ; VAR_4 = INT_2 ; p . METHOD_2 ( 1 ) ; assert ( VAR_2 ) == ( ( VAR_2 ) - ( VAR_4 ) ) ; assert ( VAR_3 ) == ( ( VAR_3 ) + ( VAR_4 ) ) ; VAR_2 = 1 ; p . METHOD_2 ( 1 ) ; assert VAR_5 . equals ( STRING_1 ) ; }
