Predicate Dominance::hasDominanceInformation

Holds if the dominance relation is calculated for bb.

predicate hasDominanceInformation(BasicBlock bb)