Predicate bbIPostDominates
The immediate post-dominance relation on basic blocks.
Import path
import java
predicate
bbIPostDominates
(
BasicBlock
dominator
,
BasicBlock
node
)