prove that effective tick implies open_stabilize_request_to
prove that effective tick implies open_stabilize_request_to

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