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