tests fixed for cvc4 version 1.4
support for symbolic indices for arrays of arrays
fixed a bug in concolic.py