let prf_of_string ?(print_trace = false) ?(print_tokens = false) (s : string) = try prf_of_prf_raw (prf_raw_of_string ~print_trace:print_trace ~print_tokens:print_tokens s) with |FML_main.Parse_error _ -> raise (Error ("Cannot parse formulas in string \'" ^ s ^ "\'"))