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