whiley_test_file 0.6.2

original.name="Fail_Valid_2"
======
>>> main.whiley
type nat is (int x) where x >= 0

function zero() -> int:
    int x = 0
    if x == 0:
        return x
    else:
        fail

public export method test() :
    assume zero() == 0

---