{x < 10}

x = x + 1
WHILE x < 10
{x < 17}
    x = x + 1
    IF x < 5
        x = x * x
    END
    ELSE
        SKIP
    END
END

x = x + 5

{x < 21}