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