Push transitive closure generated predicates past aggregates

Here is a sample query that may benefit from this optimization:

SELECT * FROM T1 WHERE a1 = 5 AND a1 IN (SELECT a2 FROM T2); 

Here the transitive predicate a2 = 5 would be pushed past the aggregate due to this optimization.