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

f: A -> B;

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

% EXIT: 20