regress/parser/smt2perr174.smt2:1:47: expected non-zero index