Moved prover test to the right folder