Predicate Dominance::strictlyPostDominates

Holds if dom strictly post-dominates node.

predicate strictlyPostDominates(ControlFlowNode dom, ControlFlowNode node)