Yes, we could do that too but it requires keeping an extra accumulator. Since we already have two different clauses, maybe we should keep them apart as an optimization?