[Python-ideas] Re: decorator vs. 'with' analogy [was: Syntax for loop invariants]