eBBlock *bp;
// make sure all predecessors of the last block end in a return
for (bp=setFirstItem(ebbs[saveCount-1]->predList);
eBBlock *bp;
// make sure all predecessors of the last block end in a return
for (bp=setFirstItem(ebbs[saveCount-1]->predList);