Predicate dominanceFrontier

The dominance frontier relation for basic blocks.

This is equivalent to:

  x.dominates(w.getAPredecessor()) and not x.strictlyDominates(w)