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 semmle.code.java.controlflow.Dominancepredicate dominanceFrontier(BasicBlock x, BasicBlock w)