Member predicate BasicBlock :: bbDominates
Holds if this basic block dominates node
. (This is reflexive.)
predicate
bbDominates
(
BasicBlock
node
)