public void METHOD_1 ( TYPE_1 p ) { <BUG> if ( ! ( TYPE_2 . contains ( p ) ) ) {throw new TYPE_3 ( STRING_1 ) ;}</BUG> 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 ) ; } 
