regress/parser/smt2perr034.smt2:1:20: expected '_' or 'Array'