Decrease Color Counters For Integers Definition Simple Predicate