public void METHOD_1 ( boolean VAR_1 ) { METHOD_2 ( this ) ; assert this . VAR_1 ; assert ! ( this . VAR_1 ) ; this . VAR_1 = VAR_1 ; } 

public void METHOD_1 ( boolean VAR_1 ) { this . VAR_1 = VAR_1 ; } 
