BasicBlock source = edge.getSource(); BasicBlock dest = edge.getDest(); source.setNumOutgoingEdges(source.getNumOutgoingEdges() + 1); dest.setNumIncomingEdges(dest.getNumIncomingEdges() + 1);
    private void storeEdge(Edge edge) {	outgoingEdgeMap.put(edge, edge);	incomingEdgeMap.put(edge, edge);    }