let file_for_env ~env prover = prove env prover