Member predicate DataFlow::ContentSet::isElementLowerBoundOrUnknown
Holds if this content set represents UnknownElementContent unioned with
all KnownElementContents where the index is an integer greater than or
equal to lower.
predicate isElementLowerBoundOrUnknown(int lower)