1 2 3 4 5 6 7 8 9 10 11
% 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));