regress/parser/smt2perr009.smt2:1:9: asserted term is not a formula