original.name="If_Invalid_1"
======
>>> main.whiley
function f(int z) -> int:
    if z:
        return 1
    return 0

---
E400 main.whiley 2,7
E400 main.whiley 2,7