public synchronized void METHOD_1 ( TYPE_1 VAR_1 ) { VAR_2 . add ( VAR_1 ) ; } 

public synchronized void METHOD_1 ( TYPE_1 VAR_1 ) { assert ! ( VAR_2 . contains ( VAR_1 ) ) ; VAR_2 . add ( VAR_1 ) ; } 
