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