prove definition lemma for handle_query_req_busy
prove definition lemma for handle_query_req_busy

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