public void METHOD_1 ( ) { VAR_1 . METHOD_2 ( ) ; int VAR_2 = VAR_1 . METHOD_3 ( ) ; VAR_1 . METHOD_4 ( 1 ) ; assertEquals ( VAR_1 . METHOD_3 ( ) , ( VAR_2 + 1 ) ) ; } 

public void METHOD_1 ( ) { VAR_1 . METHOD_2 ( ) ; int VAR_2 = VAR_1 . METHOD_3 ( ) ; VAR_1 . METHOD_4 ( ) ; assertEquals ( VAR_1 . METHOD_3 ( ) , ( VAR_2 + 1 ) ) ; } 
