if (GuardResultCarrier.conforms (s)) insertTrueGuard (s, GuardResultCarrier.getGuardResult (s));
  private static void removeBranchesAfterGotos(OPT_BasicBlock bb) {    // identify the first GOTO instruction in the basic block    OPT_Instruction firstGoto = null;    OPT_Instruction end = bb.lastRealInstruction();    for (OPT_InstructionEnumeration branches = 	   bb.enumerateBranchInstructions(); branches.hasMoreElements();) {      OPT_Instruction s = branches.next();      if (Goto.conforms(s)) {        firstGoto = s;        break;      }    }    // remove all instructions after the first GOTO instruction    if (firstGoto != null) {      OPT_InstructionEnumeration ie = 	OPT_IREnumeration.forwardIntraBlockIE(firstGoto, end);      ie.next();      for (; ie.hasMoreElements();) {        OPT_Instruction s = ie.next();        s.remove();      }    }  }