regress/parser/smt2perr185.smt2:1:50: expected index > 1, got '1'