Member predicate GuardsInput::Case::nonMatchEdge

Holds if case takes control-flow from bb1 to bb2 when the case does not match the scrutinee.

This predicate never holds for C/C++.