let pset_map f s = pset_of_lst (List.map f (PSet.elements s))