Predicate bbDominates
Holds if dom dominates node. (This is reflexive.)
Import path
import javapredicate bbDominates(BasicBlock dom, BasicBlock node)Holds if dom dominates node. (This is reflexive.)
import javapredicate bbDominates(BasicBlock dom, BasicBlock node)