fixed failing prover tests