Predicate hasDominanceInformation
Holds if the dominance relation is calculated for bb.
Import path
import javapredicate hasDominanceInformation(BasicBlock bb)Holds if the dominance relation is calculated for bb.
import javapredicate hasDominanceInformation(BasicBlock bb)