Member predicate CFG::GuardControlFlowNode::dominates

Holds if this guard dominates basic block bb, that is, the guard is known to hold at bb.

predicate dominates(ReachableBasicBlock bb)