LinearizabilityTest - ok