Member predicate Make::Logic::Guard::valueControls

Holds if this guard evaluating to v controls the basic block bb. That is, execution of bb implies that this guard evaluated to v.

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