Module Cfg_simplify

Merge blocks and eliminate dead blocks