prove live_node_was_live_or_no_succs
prove live_node_was_live_or_no_succs

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