original.name="Assert_Invalid_3"
js.execute.ignore=true
======
>>> main.whiley
function f(int x) -> (bool r)
requires f(x)
ensures f(x):
    //
    return false

public export method test():
    //
    assert f(0)
---
E712 main.whiley 2,9:12
E716 main.whiley 9,11:14