regress/parser/smt2perr197.smt2:2:10: expected 3 arguments to 'fp', got 0