Prover: added prover module