Cover more examples for MutexBasedSynchronizedCounter