fn outgoing_nodes_from_condition(
    region_content: &FoldedCFG,
    condition: NodeIndex<usize>,
    cfg: &BindedControlFlowGraph<'_, '_>
) -> (NodeIndex<usize>, NodeIndex<usize>)