pushBlock(deadBB);
    private void takeCondBranch(OPT_BasicBlock source,				OPT_Instruction cb,				OPT_IR ir) {      if (DEBUG) VM.sysWrite("Eliminating definitely taken branch "+cb+"\n");      OPT_BasicBlock  deadBB = source.nextBasicBlockInCodeOrder();      OPT_Instruction next = cb.getNext();      if (Goto.conforms(next)) {	deadBB = next.getBranchTarget();	next.remove();      }      Goto.mutate(cb, GOTO, cb.getBranchTarget().makeJumpTarget());      source.recomputeNormalOut(ir);      if (!source.pointsOut(deadBB)) {	// there is no longer an edge from source to target;	// update any PHIs in target to reflect this.	OPT_SSA.purgeBlockFromPHIs(source, deadBB);      }    }