Member predicate Flow::ControlFlowNode::dominates

Whether this dominates other. Note that all nodes dominate themselves.

predicate dominates(ControlFlowNode other)