Predicate dominanceFrontier
The dominance frontier relation for basic blocks.
This is equivalent to:
bbDominates(x, w.getABBPredecessor()) and not bbStrictlyDominates(x, w)
Import path
import javapredicate dominanceFrontier(BasicBlock x, BasicBlock w)