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