Removed old functions from ProverImpl