public void METHOD_1 ( TYPE_1 VAR_1 ) { assert VAR_1 != null ; VAR_1 . METHOD_2 ( null ) ; VAR_2 . remove ( VAR_1 ) ; assert ! ( VAR_2 . contains ( VAR_1 ) ) ; assert METHOD_3 ( ) ; } 

public boolean METHOD_1 ( TYPE_1 VAR_1 ) { assert VAR_1 != null ; VAR_1 . METHOD_2 ( null ) ; return VAR_2 . remove ( VAR_1 ) ; } 
