The Clause-Diffusion theorem prover Peers-mcd