Function preserves_filter 

fn preserves_filter(expr: &Expr, label: &str) -> bool

Whether adding a matcher on label to the scan selector_matchers finds leaves the operand’s output equal to the subset of its unfiltered output that satisfies the matcher. A filter may cross an aggregate only when it removes whole groups: in particular, a label retained by topk is not necessarily one of its partitioning labels.