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