Predicate strictlyPostDominates
Holds if postDominator is a strict post-dominator of node in the control-flow
graph. Being strict means that postDominator != node.
Import path
import cpp
predicate
strictlyPostDominates
(
ControlFlowNode
postDominator
,
ControlFlowNode
node
)