public int METHOD_1 ( ) { if ( ( VAR_1 ) == ( VAR_2 ) ) { throw new TYPE_1 ( STRING_1 ) ; } return VAR_1 ; } 

public int METHOD_1 ( ) { if ( ( VAR_1 ) == ( VAR_2 ) ) { throw new TYPE_1 ( STRING_1 ) ; } assert ( VAR_1 ) >= 0 ; return VAR_1 ; } 
