[Python-ideas] RFC: For Loop Invariants