counter: Refined assertions in `CounterApplicationIT`