Member predicate ControlFlowNode :: strictlyDominates
Whether this strictly dominates other.
predicate
strictlyDominates
(
ControlFlowNode
other
)