Member predicate BasicBlock :: bbStrictlyDominates
Holds if this basic block strictly dominates node
.
predicate
bbStrictlyDominates
(
BasicBlock
node
)