Function record_member_nodes 

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

Record membership, exit edges, and back edges for all non-root SCC members.