let prf_seq_of_string ?(print_trace = false) (s : string) : t_prf_seq = Prf_seq (String.concat "" (List.map string_of_token (lexer_of_string ~print_trace:print_trace s)))