"Ilia Kantor" <ilia@obnovlenie.ru> writes:
> So I just suggest that the planner should take this into account and
> "propagate" the condition outside or inside for planning if needed.
I believe it does this already for equality conditions, but not for
inequalities.
regards, tom lane