Predicate Private::getMaxPreciseArrayIndex

Gets the largest array index should be propagated precisely through flow summaries.

Note that all known array indices have a corresponding singleton content, but some will be collapsed in flow summaries that operate on array elements.