let partial_pending (ps:Consolidation.pending) = E.Map.map (fun best -> E.Map.fold (fun _ -> Property.Set.union) best Property.Set.empty) ps