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