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