Predicate Dominance::bbDominates

Holds if dominator is a dominator of node in the control-flow graph of basic blocks. This is reflexive.

predicate bbDominates(BasicBlock dominator, BasicBlock node)