Re: [Python-ideas] "old" values in postconditions