public void METHOD_1 ( short a ) { <BUG> if ( a >= 0 ) {throw new TYPE_1 ( STRING_1 ) ;</BUG> } VAR_1 = a ; }
public void METHOD_1 ( short a ) { if ( ! ( a >= 0 ) ) { throw new TYPE_1 ( ) ; } VAR_1 = a ; } 
