Function merge_branches 

fn merge_branches(
    base: State,
    then_state: State,
    else_state: State,
    then_exits: bool,
    else_exits: bool,
) -> State

Joins the two arms of an if: a pending write stays covered only if both arms emitted for it, while taint and aliases come from whichever arms can continue past the if.