Member predicate ReadArrayElement :: getArrayIndex
Gets the index into the array.
Expr
getArrayIndex
(
)