Predicate DataFlow::ContentSet::arrayElementFromInt

Gets the content set describing an access to array index n.

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