let prf_of_file ?(print_trace = false) ?(print_tokens = false) (path:string) = try prf_of_prf_raw (prf_raw_of_file ~print_trace:print_trace ~print_tokens:print_tokens path) with |FML_main.Parse_error _ -> raise (Error ("Cannot parse formulas in file " ^ path))