prover memory leak done