regress/parser/smt2perr102.smt2:2:16: expected array as first argument to 'store'