optimize_redundant_comparisons
Обнаруживает конфликтующие и избыточные условия сравнения для одного и того же выражения в цепочках AND. Например,a < 1 AND a > 5 будет переписано в false. Противоречие между двумя условиями equals для одного и того же выражения (например, a = 1 AND a = 2) обнаруживается независимо от этой настройки.