Predicate DataFlow::ContentSet::arrayElementLowerBoundFromInt

Gets a content set describing array elements at index bound or greater.

If bound is too large, it is truncated to the greatest lower bound we can represent.