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