let set_of_list_c xs =
  List.fold_left (fun s e -> add_elt e s) [] xs