Member predicate Guards::Internal::Guard::controls

Holds if basic block bb only is reached when this guard has abstract value v.

predicate controls(BasicBlock bb, AbstractValue v)