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