Member predicate Make::Logic::Guard::controlsBranchEdge

Holds if this guard evaluating to branch controls the control-flow branch edge from bb1 to bb2. That is, following the edge from bb1 to bb2 implies that this guard evaluated to branch.

Note that this goes beyond mere control-flow graph dominance, as it also considers additional logical reasoning.