public void METHOD_1 ( TYPE_1 source , TYPE_2 VAR_1 ) { TYPE_2 VAR_2 = this . VAR_3 . put ( source , VAR_1 ) ; assert VAR_2 == null ; } 

public void METHOD_1 ( TYPE_1 source , TYPE_2 VAR_1 ) { TYPE_2 VAR_2 = this . VAR_3 . put ( source , VAR_1 ) ; assert ( VAR_2 == null ) || ( VAR_1 == VAR_2 ) ; } 
