cpaAlgo.run();
ReachedSet exprSubstStates = cpaAlgo.getReachedStates().select(1);
for (CFAEdge edge : program.getCFA()) {
assert exprSubstStates.where(edge.getSource()).size() == 1;
SubstitutionState s = (SubstitutionState)exprSubstStates.where(edge.getSource()).iterator().next();
substituteCFAEdge(edge, s);
}
long endTime = System.currentTimeMillis();
logger.verbose("Finished after " + (endTime - startTime) + "ms.");