if (OPT_IR.PARANOID) VM.assert(this == target.getBasicBlock());
if (OPT_IR.PARANOID) VM._assert(this == target.getBasicBlock());
  public final OPT_BasicBlock segregateInstruction(OPT_Instruction target, 						   OPT_IR ir) {    if (OPT_IR.PARANOID) VM.assert(this == target.getBasicBlock());        OPT_BasicBlock BB1 = splitNodeAt(target.getPrev(), ir);    this.insertOut(BB1);    ir.cfg.linkInCodeOrder(this, BB1);    OPT_BasicBlock BB2 = BB1.splitNodeAt(target, ir);    BB1.insertOut(BB2);    ir.cfg.linkInCodeOrder(BB1, BB2);    return BB1;  }