// canonicalize the statement lists
// TODO: all code should be in canonical form CodeMapGenerator
// stmts = new Canonicalizer().process(stmts);
if (CONSTANT_PROPAGATION.get()) {
stmts = new ConstantPropagator().process(stmts);
}
if (DEAD_CODE_ELIMINATION.get()) {
stmts = new DeadCodeEliminator(globalMap.keySet()).process(stmts);
}