Predicate signature InputSig::equalityBranchEdge

Holds if taking the edge from bb1 to bb2 establishes whether left and right are equal.

This supports implicit equality tests that do not have a corresponding source expression, such as comparisons between a switch expression and a case expression.