VAR x = 2
        VAR y = 0
        { x > 0:
            ~ y = x - 1
        }
        The value is {y}. -> END