The error was produced by the assumption that (2, 1) > (1, 2) is
equivalent to (2 > 1) and (1 > 2). That assumption was incorrect,
so we don't merge AND chains for any operators other than Eq and
NotEq.