+ cfgEdges + "'.", commentEdges.size(), cfgEdges.size());
} catch (NullPointerException exc) {
throw exc;
}
for (int i = 0; i < commentEdges.size(); i++) {
EdgeBase commentEdge = commentEdges.get(i);
CFGSingleEdge cfgEdge = cfgEdges.get(i);
commentEdge.match(cfgEdge, variablesMap);
// if (var != null)
// variablesMap.put(var.left, var.right);
compare(commentEdge, cfgEdge);
}
}