Predicate Dominance::bbIDominates

Holds if dominator is an immediate dominator of node in the control-flow graph of basic blocks.

predicate bbIDominates(BasicBlock dom, BasicBlock node)