Member predicate ControlFlow::Node::dominatesNode

Holds if this node dominates dominee in the control-flow graph.