prove base case of LiveNodeHasTickInTimeouts
prove base case of LiveNodeHasTickInTimeouts

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