prove labeled_step_dynamic_is_step_dynamic_without_churn
prove labeled_step_dynamic_is_step_dynamic_without_churn

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