anchor.diff:              %% or equal to clause because if a to be 10 it must also be greater
               %% than 8
               {eliminate, Acc};
  +        #filtercheck{'=' = {_,_,{const,EqVal}}} when GteVal > EqVal ->
  +            %% query like `a = 10 AND a >= 11` cannot be satisfied
  +            throw({error, {impossible_where_clause, << >>}});
           #filtercheck{'>=' = undefined} = Check1 ->
               %% this is the first equality check so just record it
               Check2 = Check1#filtercheck{'>=' = F},
  
positive.code:         S?SQL_SELECT.'WHERE'
      ).
  
  -endif.
  
negative.code:         compile(DDL, Q)
      ).
  
  clause_for_equality_and_greater_than_is_not_possible_swap_lhs_rhs_test() ->
      DDL = get_ddl(
          "CREATE TABLE table1("
          "a TIMESTAMP NOT NULL, "
  