do stack dumps in prover