regress/parser/smt2perr213.smt2:1:14: invalid indexed term 'b'