Teach optimizer to handle equality and a comparison: `a = 2 AND a > 1` -> `a=2` but also `a = 2 AND a > 3` -> `FALSE`