let pp_string_list ?(sep=Pretty_utils.space_sep) ~empty fmt l =
  match l with [] ->  Format.fprintf fmt "%s" empty
  | _ -> Format.fprintf fmt "%a"
           (Pretty_utils.pp_list ~sep Format.pp_print_string) l