if (VM.VerifyAssertions) VM.assert(s.operator != PHI);
if (VM.VerifyAssertions) VM._assert(s.operator != PHI);
  private void addExceptionStateToDefs (OPT_Instruction s, OPT_BasicBlock b) {    if (VM.VerifyAssertions) VM.assert(s.operator != PHI);    OPT_HeapVariable H = findOrCreateHeapVariable(exceptionState);    H.registerDef(b);    OPT_HeapOperand[] Hprime = extendHArray ((OPT_HeapOperand[]) defs.get(s));    Hprime[0] = new OPT_HeapOperand(H);    Hprime[0].setInstruction(s);    defs.put(s, Hprime);  }