SynchronisedTagTest#testSynchronisedCall() is simplified and made deterministic.