Predicate Dominance::postDominates

Holds if dom post-dominates node. (This is reflexive.)

predicate postDominates(ControlFlowNode dom, ControlFlowNode node)