return successorSet.iterator(); }
    public Iterator<BasicBlock> successorIterator(BasicBlock block) {	TreeSet<BasicBlock> successorSet = new TreeSet<BasicBlock>();	Iterator<Edge> ei = outgoingEdgeIterator(block);	while (ei.hasNext()) {	    successorSet.add(ei.next().getDest());	}	return successorSet.iterator();    }