public void METHOD_1 ( ) throws java.lang.Exception { TYPE_1 < java.lang.Integer > VAR_1 = new TYPE_1 ( ) ; VAR_1 . METHOD_2 ( 1 ) ; VAR_1 . METHOD_3 ( INT_1 ) ; VAR_1 . METHOD_3 ( INT_2 ) ; VAR_1 . METHOD_3 ( INT_3 ) ; VAR_1 . METHOD_3 ( INT_1 ) ; VAR_1 . remove ( INT_1 ) ; TYPE_2 . assertTrue ( ( ( VAR_1 . size ( ) ) == INT_2 ) ) ; }

public void METHOD_1 ( ) throws java.lang.Exception { list . METHOD_2 ( 1 ) ; list . METHOD_3 ( INT_1 ) ; list . METHOD_3 ( INT_2 ) ; list . METHOD_3 ( INT_3 ) ; list . METHOD_3 ( INT_1 ) ; list . remove ( INT_1 ) ; TYPE_2 . assertTrue ( ( ( list . size ( ) ) == INT_2 ) ) ; }
