Predicate Dominance::dominanceFrontier

The dominance frontier relation for basic blocks.

This is equivalent to:

  bbDominates(x, w.getABBPredecessor()) and not bbStrictlyDominates(x, w)
predicate dominanceFrontier(BasicBlock x, BasicBlock w)