regress/parser/smt2perr188.smt2:1:46: expected index > 1, got '1'