// 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);