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