Member predicate Guard::controlsBasicBlock

Holds if basic block bb is guarded by this expression having value v.