regress/parser/smt2perr035.smt2:2:20: expected '_' (arrays not enabled)