Member predicate Make::BasicBlock::inDominanceFrontier

Holds if df is in the dominance frontier of this basic block. That is, this basic block dominates a predecessor of df, but does not dominate df itself. I.e., it is equivaluent to:

this.dominates(df.getAPredecessor()) and not this.strictlyDominates(df)