Member predicate ControlFlowNode::strictlyDominates

Whether this strictly dominates other.

predicate strictlyDominates(ControlFlowNode other)