public void METHOD_1 ( TYPE_1 p ) { if ( ! ( TYPE_2 . contains ( p ) ) ) { throw new TYPE_3 ( STRING_1 ) ; } VAR_1 = METHOD_1 ( VAR_1 , p , true ) ; } 

public void METHOD_1 ( TYPE_1 p ) { assert TYPE_2 . contains ( p ) ; VAR_1 = METHOD_1 ( VAR_1 , p , true ) ; } 
