Simplify redundant EXISTS about trino HOT 1 OPEN

Similarly we can eliminate overlapping IN-list predicates, e.g: tpch/q95:

AND ("ws1".ws_order_number IN (SELECT ws_order_number FROM ws_wh))
AND ("ws1".ws_order_number IN (SELECT wr_order_number FROM web_returns , ws_wh
WHERE (wr_order_number = ws_wh.ws_order_number)))

or simpler case:

AND col1 IN (SELECT col2 FROM table2) 
AND col1 IN (SELECT col2 FROM table2 WHERE col3 > 10) 

we could try to compute common subplan for such subplans and then it will be obvious that one subplan is superset of the other. In such case we can just remove one, redundant IN conjunct.

We can also extract common subplan for joins as in case of q95 common subquery can be LEFT JOIN with adaptation predicate on top.

from trino.