prove stronger version of dead_nodes_channel_empties_out
prove stronger version of dead_nodes_channel_empties_out

DistributedComponents/verdi-chord,DistributedComponents/verdi-chord,DistributedComponents/verdi-chord,DistributedComponents/verdi-chord,DistributedComponents/verdi-chord