//find loops and prepare counting widening iterations
Map<CFGVertice, MutableInt> wideningCounts = new HashMap<CFGVertice, MutableInt>();
Map<CFGVertice, Collection<CFGSingleEdge>> loopVertices = Utils.findLoopVertices(graph);
Map<CFGVertice, WideningOperator<DI>> widenings = new HashMap<CFGVertice, WideningOperator<DI>>();
for(CFGVertice loopVertice: loopVertices.keySet()) {
wideningCounts.put(loopVertice, new MutableInt(0));
widenings.put(loopVertice, semantics.getWideningOperator());
}
Pair<CFGSingleEdge, DI> start = computeInputEdgeValue(semantics);
MyQueue queue = new MyQueue();