Predicate strictlyPostDominates
Holds if dom
strictly post-dominates node
.
Import path
import java
predicate
strictlyPostDominates
(
ControlFlowNode
dom
,
ControlFlowNode
node
)