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