SMT-LIB parser support for array constants (Z3 syntax).