Add (failing) tests for MaxCounter.