original.name="DefiniteAssign_Invalid_1"
======
>>> main.whiley
function g(int x) :
    return

function f(int x, int y) -> int
requires (x >= 0) && (y > 0):
    g(z)

---
E407 main.whiley 6,6