Z3: bugfix for model generation in case of Arrays.
Z3: bugfix for model generation in case of Arrays.

For a formula "(store (store ARR 0 0) 0 1)"
we should not unroll the array into "[ARR[0]=1, ARR[0]=1]".
Thus we track the index.

sosy-lab/java-smt,sosy-lab/java-smt,sosy-lab/java-smt,sosy-lab/java-smt,sosy-lab/java-smt