We preserve the CFG and some of the analysis passes.