regress/parser/smt2perr008.smt2:3:9: asserted term is not a formula