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