regress/parser/smt2perr194.smt2:1:13: expected 2 arguments to 'to_fp', got 3