Function join_branches 

fn join_branches(
    state: &mut FlowState,
    branches: impl IntoIterator<Item = Option<FlowState>>,
) -> bool

Replaces state with the union of the reachable branches, keeping only the path predicates all of them agree on. Returns whether any branch was reachable.