let pset_of_lst l = List.fold_left (fun s x -> PSet.add x s) PSet.empty l