more proof generation improvements