whiley_test_file 0.6.2

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


function f(int x) -> int:
    return x + 1

function g(int x, int y) -> int:
    return x + y

public export method test() :
    int a = 2
    int b = 1
    if a < b:
        a = f(b)
    int x = g(a, b)
    assume x == 3

---