Function combine_guards 

pub fn combine_guards(
    a: &BTreeSet<String>,
    b: &BTreeSet<String>,
) -> BTreeSet<String>

The guards of two merged paths: either side holding is enough, so an unconditional side makes the merge unconditional, and two different conjunctions become one disjunction label.