% EXPECT: INVALID
A: TYPE;
B: TYPE;
x, y: A;
a, b: A;

f: A -> B;

ASSERT (x = a OR x = b) AND (y = b OR y = a);
QUERY (f(x) = f(y));