Member predicate ControlFlowNode :: dominates
Whether this dominates other. Note that all nodes dominate themselves.
predicate
dominates
(
ControlFlowNode
other
)