original.name="ConstrainedInt_Invalid_7"
js.execute.ignore=true
======
>>> main.whiley
type c4nat is (int x) where x < 10

function h() -> (int r)
ensures r <= 5:
    //
    return 5

function f() -> c4nat:
    return h() * 2

public export method test():
       assume f() == 10
---
E702 main.whiley 9,11:17
E717 main.whiley 9,4:17