Added test of prover