protected void METHOD_1 ( TYPE_1 VAR_1 ) { TYPE_1 VAR_2 = VAR_3 . remove ( ( ( VAR_3 . size ( ) ) - 1 ) ) ; assert VAR_2 == VAR_1 : STRING_1 ; } 

protected void METHOD_1 ( TYPE_1 VAR_1 ) { TYPE_1 VAR_2 = VAR_3 . remove ( ( ( VAR_3 . size ( ) ) - 1 ) ) ; assert VAR_2 . equals ( VAR_1 ) : STRING_1 ; } 
