Predicate SummaryComponent::elementAny

Gets a summary component that represents an element in a collection at either an unknown index or known index. This has the same semantics as

elementKnown() or elementUnknown(_)

but is more efficient, because it is represented by a single value.