Member predicate Flow::ControlFlowNode::strictlyDominates

Whether this strictly dominates other.

predicate strictlyDominates(ControlFlowNode other)