public final class PropagateEquals extends OptimizerRules.OptimizerExpressionRule<BinaryLogic>
Propagate Equals to eliminate conjuncted Ranges or BinaryComparisons. When encountering a different Equals, non-containing Range or BinaryComparison, the conjunction becomes false. When encountering a containing Range, BinaryComparison or NotEquals, these get eliminated by the equality.