Predicate iDominates
Immediate dominance relation on control-flow graph nodes.
Import path
import java
predicate
iDominates
(
ControlFlowNode
dominator
,
ControlFlowNode
node
)