original.name="Function_Invalid_2"
======
>>> main.whiley
function f(int x) -> int:
    return 1

function f(int x) -> int:
    return 2
---
E316 main.whiley 4,9
=====
>>> main.whiley 4:6
public export method test():
    assume f(2) == 1
---