original.name="Function_Invalid_9"
======
>>> main.whiley
function f(int x) -> int
requires x >= 0:
    return x

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