+1 to Haisheng. 5. The optimization of disjoint conditions might take significant optimization time with insignificant gains.
Sargs might be helpful as databases often need to implement "integer/string index range scan", however, sargs do not seem to suit well for `col intersect any(...)` and similar cases. I remember Calcite sources did include sargs package, however, it was removed for some reason. Vladimir