Support for multiple counters of the same type
While still having City Owned counter as the only supported counter type, add support multiple counters of that type. The counters can differ from each other by their rule_name and checkpoint.
Test by introducing two City Owned counters with different checkpoints. That way there should be three different situations; 1) neither counter has reached checkpoint, 2) first counter has reached checkpoint, 3) both counters have reached checkpoints. Introduce two effects that have these counters as requirements to see that these situations do happen.