Predicate Dominance::dominates

Holds if dom dominates node. (This is reflexive.)

predicate dominates(ControlFlowNode dom, ControlFlowNode node)