<BUG>public void METHOD_1 ( TYPE_1 VAR_1 ) {</BUG> assert VAR_1 != null ; VAR_1 . METHOD_2 ( null ) ; <BUG> VAR_2 . remove ( VAR_1 ) ;assert ! ( VAR_2 . contains ( VAR_1 ) ) ;assert METHOD_3 ( ) ;</BUG> }
public boolean METHOD_1 ( TYPE_1 VAR_1 ) { assert VAR_1 != null ; VAR_1 . METHOD_2 ( null ) ; return VAR_2 . remove ( VAR_1 ) ; } 
