Predicate bbDominates
Holds if dom
dominates node
. (This is reflexive.)
Import path
import java
predicate
bbDominates
(
BasicBlock
dom
,
BasicBlock
node
)