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