Cleaned up ProverImpl2. I hope I am not overwriting something here, some
parts seem just to simple.