Predicate strictlyDominates
Holds if dom
strictly dominates node
.
Import path
import java
predicate
strictlyDominates
(
ControlFlowNode
dom
,
ControlFlowNode
node
)