original.name="ConstrainedInt_Invalid_9"
js.execute.ignore=true
======
>>> main.whiley
type num is (int x) where x == 1 || x == 2 || x == 3 || x == 4

function f(num x) -> int:
    num y = x
    return y

function g(int x, int z) -> int
requires ((x == 0) || (x == 1)) && (z == 1 || z == 2 || z == 3 || z == x):
    return f((num) z)

public export method test():
       assume g(0,1) == 1
       assume g(0,2) == 2
       assume g(0,3) == 3
       assume g(1,1) == 1
       assume g(1,2) == 2
       assume g(1,3) == 3
       assume g(0,0) == 0
---
E702 main.whiley 9,13:19
E716 main.whiley 9,11:20