Removes redundant match case branch in CheckAggregation