return predecessorSet.iterator(); }
    public Iterator<BasicBlock> predecessorIterator(BasicBlock block) {	TreeSet<BasicBlock> predecessorSet = new TreeSet<BasicBlock>();	Iterator<Edge> ei = incomingEdgeIterator(block);	while (ei.hasNext()) {	    predecessorSet.add(ei.next().getSource());	}	return predecessorSet.iterator();    }