public double METHOD_1 ( double VAR_1 , double VAR_2 ) { assert VAR_1 == 0 ; assert VAR_2 == 0 ; assert VAR_1 < ( VAR_3 ) ; assert VAR_1 > ( VAR_4 ) ; double VAR_5 = - 1 ; try { TYPE_1 . METHOD_2 ( STRING_1 ) ; VAR_5 = VAR_1 / VAR_2 ; } catch ( TYPE_2 VAR_6 ) { TYPE_1 . METHOD_3 ( METHOD_4 ( ) ) ; java.lang.System.err.println ( METHOD_4 ( ) ) ; METHOD_1 ( VAR_1 , VAR_2 ) ; } return VAR_5 ; }

public double METHOD_1 ( double VAR_1 , double VAR_2 ) { double VAR_5 = - 1 ; try { VAR_5 = VAR_1 / VAR_2 ; } catch ( TYPE_2 VAR_6 ) { TYPE_1 . METHOD_3 ( METHOD_4 ( ) ) ; java.lang.System.err.println ( METHOD_4 ( ) ) ; METHOD_1 ( VAR_1 , VAR_2 ) ; } return VAR_5 ; }
