regress/parser/smt2perr209.smt2:1:9: expected term