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

function f(c2nat x) -> c2nat:
    x = x + 1
    return x

public export method test():
       assume f(0) == 1
       assume f(1) == 2
       assume f(2) == 3
       assume f(3) == 4
       assume f(4) == 5
       assume f(5) == 6
       assume f(6) == 7
       assume f(7) == 8
       assume f(8) == 9
       assume f(9) == 10
---
E702 main.whiley 4,8:12
E718 main.whiley 4,8:12