} else {
// If control flow reconstruction finished normally and other analyses are configured, start them now
// Simplify CFA
logger.info("=== Simplifying CFA ===");
DeadCodeElimination dce;
long totalRemoved = 0;
runAlgorithm(new ExpressionSubstitution(program));
do {
dce = new DeadCodeElimination(program);
runAlgorithm(dce);
totalRemoved += dce.getRemovalCount();
} while (dce.getRemovalCount() > 0);
logger.info("=== Finished CFA simplification, removed " + totalRemoved + " edges. ===");
AnalysisManager mgr = AnalysisManager.getInstance();
List<ConfigurableProgramAnalysis> secondaryCPAs = new LinkedList<ConfigurableProgramAnalysis>();
for (int i=0; i<Options.secondaryCPAs.getValue().length(); i++) {