Subquery unnesting investigation

Development of the correlated subquery unnesting feature in PostgreSQL (project) de-facto stopped by the problem. EXPLAIN VERBOSE SELECT * FROM a WHERE EXISTS ( SELECT * FROM b WHERE b.x IN ( SELECT c.x FROM c WHERE c.y = a.x ) ); Seq Scan on...