Thread safety analysis: new test case