BasicBlock source = edge.getSource(); BasicBlock dest = edge.getDest(); source.setNumOutgoingEdges(source.getNumOutgoingEdges() - 1); dest.setNumIncomingEdges(dest.getNumIncomingEdges() - 1);
    public void removeEdge(Edge edge) {	if (!outgoingEdgeMap.containsKey(edge))	    throw new IllegalArgumentException("edge is not part of this CFG");	outgoingEdgeMap.remove(edge);	incomingEdgeMap.remove(edge);    }