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

Holds if this node strictly dominates that node.

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