let to_set l = List.fold_right Cudf_set.add l Cudf_set.empty