Predicate bbDominates
Holds if dominator is a dominator of node in the control-flow graph of
basic blocks. This is reflexive.
Import path
import cpp
predicate
bbDominates
(
BasicBlock
dominator
,
BasicBlock
node
)