initial updates for auto generated proofs