Member predicate GuardNode::controlsBlock

Holds if this guard controls block b upon evaluating to branch.

predicate controlsBlock(BasicBlock b, boolean branch)