let prf_seq_of_file ?(print_trace = false) (path : string) : t_prf_seq = Prf_seq (String.concat "" (List.map string_of_token (lexer_of_file ~print_trace:print_trace path)))