if (def.getFieldRef().getField().equals(SootTranslationHelpers.v().getExceptionGlobal())) { if (lhs instanceof FieldRef) { Verify.verify(!(rhs instanceof AnyNewExpr)); SootTranslationHelpers.v().getMemoryModel().mkHeapWriteStatement(def, def.getFieldRef(), rhs); } else /* if (rhs instanceof FieldRef) */ { SootTranslationHelpers.v().getMemoryModel().mkHeapReadStatement(def, def.getFieldRef(), lhs);