Predicate Dominance::strictlyDominates

Holds if dom strictly dominates node.

predicate strictlyDominates(ControlFlowNode dom, ControlFlowNode node)