Planner improvement suggestion

I have a query:

SELECT oh.id

FROM objects_hier oh

where

oh.id < 2000 (!)

and

oh.id in (

      SELECT id as id FROM objects_access oa

      WHERE

      oa.master IN (1,2,10001)

      AND

      oa.id < 2000 (!)

)

The sense of the query is simple: I choose ids from objects_hier where access has necessary masters.

The problem is: I have duplicate conditions for id here. They are marked with ‘!’.

I just can’t remove any of them, because planner needs to estimate both outer and inner selects to calculate the order

Of nested loop or choose a join. If I remove one of duplicate conditions – planner can’t estimate well.

It’s obvious that condition on oh.id can be put inside or outside “oh.id in ( .. )” statement with same result.

So I just suggest that the planner should take this into account and “propagate” the condition outside or inside for planning if needed.

P.S

Is there a way to fix this particular query? Usually oh.id condition is not like <2000, but an inner join.