reduce initial_succ_lists_all_principal to a couple of more general lemmas
reduce initial_succ_lists_all_principal to a couple of more general lemmas

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