Predicate postDominates
Holds if dom
post-dominates node
. (This is reflexive.)
Import path
import java
predicate
postDominates
(
ControlFlowNode
dom
,
ControlFlowNode
node
)