At present, the change_stream_match_pushdown*.js tests in jstests/oplog_rewrite use different variations of verifyOps, verifyNonInvalidatingOps, and verifyChangeStreamOnWholeCluster helper functions to verify the rewrite behaviour. There are also some gaps in coverage caused by these variations; for instance, in change_stream_match_pushdown_operation_type_rewrite.js we do not test the rewrite for invalidating events. This is because the verifyNonInvalidatingOps helper in this file relies on running explain with executionStats, which for a single-collection stream fails on invalidation. Running explain on a whole-cluster stream would resolve this problem and allow us to test invalidating events.

The tests should be changed to all use the verifyChangeStreamOnWholeCluster helper, and new test-cases added to cover the gap outlined above.