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