wrongly pushed index pushdowns

create index ix10 ON default(c1, arr1,c2,c3);
EXPLAIN SELECT COUNT(1) FROM default AS d WHERE d.c1 = 10 AND ANY v IN d.arr1 SATISFIES v IN [10] END AND d.c2 IS NOT MISSING AND (d.c3 = 30 OR d.c3 = 40) ;

Pushed Index aggregation which is wrong. because ANY predicate not pushed to indexer because it is not array index key and false positives possible.

Works in Pre 6.5.0

INSERT INTO default VALUES("k01",{"c1":10, "c2":20, "c3":30, "arr1":[100]});

By pushing indexer indexer will count because index scans all arr1 values but when use any other index row eliminated because array doesn't contain 10.