fixed non exhaustive pattern for Counter.decAll'