Predicate DataFlow::ContentSet::arrayElementKnown

A content set describing an access to array index n.

This content set reads from element n and the unknown element, and stores to index n.

For large values of n this has no result - see ContentSet::arrayElementFromInt.