Predicate dominates
Holds if dom
dominates node
. (This is reflexive.)
Import path
import java
predicate
dominates
(
ControlFlowNode
dom
,
ControlFlowNode
node
)