fn build_cfg(mut m ssa.Module)
--- CFG Construction ---
fn optimize(mut m ssa.Module)
Optimize Module