for (Enumeration enum = cfg.nodes(); enum.hasMoreElements();) { OPT_BasicBlock block = (OPT_BasicBlock) enum.nextElement();
for (Enumeration bbEnum = cfg.nodes(); bbEnum.hasMoreElements();) { OPT_BasicBlock block = (OPT_BasicBlock) bbEnum.nextElement();
  public void resetBasicBlockMap() {    basicBlockMap = new OPT_BasicBlock[getMaxBasicBlockNumber()+1] ;    for (Enumeration enum = cfg.nodes(); enum.hasMoreElements();) {      OPT_BasicBlock block = (OPT_BasicBlock) enum.nextElement();      basicBlockMap[block.getNumber()] = block;    }