regress/parser/smt2perr182.smt2:1:22: expected index > 1, got '1'