for (Iterator<Edge> i = removedEdgeList.iterator(); i.hasNext();) { Edge edge = i.next();
for (Edge edge : removedEdgeList) {
	private void updateCFG() {		for (Iterator<MarkedEdge> i = markedEdgeList.iterator(); i.hasNext();) {			MarkedEdge markedEdge = i.next();			markedEdge.apply();		}		for (Iterator<Edge> i = removedEdgeList.iterator(); i.hasNext();) {			Edge edge = i.next();			cfg.removeEdge(edge);		}	}