Member predicate ControlFlow::ConditionGuardNode::dominates

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