whiley_test_file 0.6.2

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


type ir1nat is int

type pir1nat is ir1nat

function f(int x) -> int:
    if x > 2:
        int y = x
        return y
    return 0

public export method test() :
    assume f(1) == 0
    assume f(2) == 0
    assume f(3) == 3

---