On the reconstruction of proofs in distributed theorem proving with contraction: a modified Clause-Diffusion method