if (VM.VerifyAssertions) VM.assert(s.operator != PHI);
if (VM.VerifyAssertions) VM._assert(s.operator != PHI);
  public void replaceUses (OPT_Instruction s, OPT_HeapOperand[] H) {    if (VM.VerifyAssertions) VM.assert(s.operator != PHI);    uses.put(s, H);    for (int i = 0; i < H.length; i++) {      H[i].setInstruction(s);    }  }