Value rhs = def.getRightOp(); if (def.containsFieldRef()) { Verify.verify(lhs instanceof FieldRef || rhs instanceof FieldRef); if (def.getFieldRef().getField().equals(SootTranslationHelpers.v().getExceptionGlobal())) {
Value rhs = def.getRightOp(); if (def.containsFieldRef()) { Verify.verify(lhs instanceof FieldRef || rhs instanceof FieldRef); if (def.getFieldRef().getField().equals(SootTranslationHelpers.v().getExceptionGlobal())) {