prove Tick enabled is invariant over labeled_step
prove Tick enabled is invariant over labeled_step

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