Predicate Dominance::iDominates

Immediate dominance relation on control-flow graph nodes.

predicate iDominates(ControlFlowNode dominator, ControlFlowNode node)