original.name="ConstrainedInt_Valid_4"
======
>>> main.whiley


type nat is (int x) where x < 10

function f() -> nat:
    return 1

public export method test() :
    assume f() == 1

---