Predicate bbIDominates
The immediate dominance relation for basic blocks.
Import path
import java
predicate
bbIDominates
(
BasicBlock
dom
,
BasicBlock
node
)