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

Holds if this node post-dominates that node.

That is, all paths reaching the normal callable exit node (NormalExitNode) from that node must go through this node.