regress/parser/smt2perr175.smt2:1:49: expected non-zero index