whiley_test_file 0.6.2

original.name="If_Invalid_4"
======
>>> main.whiley
function f(int x) -> int:
    if x < 10:
        return 1
    else:
        if x > 10:
            return 2

---
E500 main.whiley 1,0:24