I’m surprised that the predicate pushdown causes measurable performance boost — I mean, typical usefulness of the pushdown is in that it reduces the I/O by filtering out some rows at the early stage. But that is not the case here, as the IsNotNull predicate is never satisfied for the example DF. Could the case be then that the execution of the pushed predicate itself is faster? That seems dubious to me.