reduce queries_eventually_stop to 4 big lemmas
reduce queries_eventually_stop to 4 big lemmas

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