don't create a list of arrays with variable references for each case alternative,
instead allocate a few arrays and reuse these, unify and combine the reference counts after each alternative,
optimize functions unify_counts and combine_counts,
don't sort the case alternatives twice