Member predicate Make::Logic::Guard::controls

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

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