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

public export method test():
    // Should not be possible to infer this, since var 
    // could have been changed by any execution traces
    // arising prior to this method being called.    
    assert var == 0    
---
E722 main.whiley 7,11:18
=====
>>> main.whiley 1:2
type uint is (int x) where x >= 0
uint var = 0
---
E722 main.whiley 8,11:18
=====
>>> main.whiley 8:9
    assert var > 0
---
E705 main.whiley 8,11:17
E722 main.whiley 8,11:17
=====
>>> main.whiley 8:9
    assert var >= 0
---