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

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