regress/parser/smt2perr147.smt2:1:12: invalid indexed term 'oops'