Pushdown from HAVING into WHERE does not remove conditions from HAVING

CREATE TABLE t1(a INT, b INT, c INT);

CREATE TABLE t2(x INT, y INT);

INSERT INTO t1 VALUES (1,14,3), (2,13,2), (1,22,1), (3,13,4), (3,14,2);

INSERT INTO t2 VALUES (2,13),(5,22),(3,14),(1,22);

EXPLAIN FORMAT=JSON SELECT t1.a,MAX(t1.b),MIN(t1.c)

FROM t1

GROUP BY t1.a

HAVING ((t1.a>2) AND (MAX(t1.b)>13)) OR ((t1.a<3) AND (MIN(t1.c)>1));

"attached_condition": "t1.a > 2 or t1.a < 3"

"having_condition": "t1.a > 2 and max(t1.b) > 13 or t1.a < 3 and min(t1.c) > 1"