CLN: reachable cases in Reducer
compute_reduction has optional `labels` and `dummy` arguments.  In practice, either both are passed or neither is passed.  By enforcing this, we can simplify the code a bit.