findArrayToSelectFrom

open override fun findArrayToSelectFrom(indices: List<KExpr<*>>): KExpr<KArraySort<D, R>>

Find an array expression containing the value for the provided indices.

Returns:

  1. Indices match the current store expression indices -> current store.

  2. We can't determine whether indices match or not -> current store.

  3. Indices definitely don't match current store indices (e.g. both are interpreted values) -> apply this operation on a nested array.