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