original.name="Property_Valid_24"
======
>>> main.whiley
property inc(int x) -> (int r):
    return x + 1

public export method test():
    assert 1 < inc(1) 
    assert inc(0) == 1
---