Predicate dominates
Holds if dominator
is a dominator of node
in the control-flow graph. This
is reflexive.
Import path
import cpp
predicate
dominates
(
ControlFlowNode
dominator
,
ControlFlowNode
node
)