Member predicate Make0::Make1::Make2::Public::ControlFlowNode::dominates

Holds if this node dominates that node.

That is, all paths reaching that node from the callable entry node (EntryNode) must go through this node.