original.name="Infeasible_Function_6"
js.execute.ignore=true
======
>>> main.whiley
function f(int x) -> (int q)
ensures q >= 0 && q < 0:
    return x

function g(int x) -> (int y)
ensures y >= 0:
    return x

public export method test():
       f(0)
---
E701 main.whiley 10,7:10
E717 main.whiley 3,4:11