if (CONSTANT_PROPAGATION.get()) {
stmts = new ConstantPropagator().process(stmts);
}
if (DEAD_CODE_ELIMINATION.get()) {
stmts = new DeadCodeEliminator(globalMap.keySet()).process(stmts);
}
nblock = new CodeBlock(addr, stmts, wcet);
codeBlockMap.put(b, nblock);
return nblock;