original.name="StaticVar_Valid_12"
======
>>> main.whiley
int var = 0

public export method test():
    if var < 0:
        return
    else:
        //
        int i = 0
        //
        while i < 10
        where i >= 0 && var >= 0:
            i = i + 1
            var = var + 1
        //
        assert var >= 0
---