Member predicate Make::Logic::Guard::valueControlsBranchEdge

Holds if this guard evaluating to v 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 v.

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