optimize_redundant_comparisons
Detect conflicting and redundant comparison conditions on the same expression within AND chains. For example,a < 1 AND a > 5 would be rewritten to false. A contradiction between two equals on the same expression (for example, a = 1 AND a = 2) is detected independently of this setting.