regress/parser/smt2perr165.smt2:1:9: unexpected 'FloatingPoint'