original.name="Return_Invalid_9"
======
>>> main.whiley
function f(bool x, int y, int z) -> int:
    return x || (y <= (z + 1))

---
E400 main.whiley 2,11:29