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
---