Handling arrays in the model returned by Z3.