Should reduce one of the dimensions in KeyBounds using information from param
M of the layer being filtered
KeyBounds within the layer, possibly already reduce for max
Parameter to the filter, contains information to restrict kb
The KeyBounds returned must be non-overlapping.
Applies all the filters contained in the expression tree to input KeyBounds.