finish live_node_in_msg_succ_lists proof for recv!
finish live_node_in_msg_succ_lists proof for recv!

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