If we see a "contradictory" $match like {$and: [{a: {$eq: 3}}, {a: {$eq: 4}}]} anywhere in a pipeline (i.e. would translate to empty index bounds) we should just turn it into an $alwaysFalse, ideally shortcut to an EOF