What is the invarient of this code

Printable View