Function record_root_exits 

fn record_root_exits<'tcx>(
    graph: &mut ControlFlowGraph<'tcx>,
    root: usize,
    scc_components: &[usize],
)

Record exits from the SCC root to blocks outside the SCC.