regress/parser/smt2perr183.smt2:1:24: expected index > 1, got '1'