Thread Safety Analysis: new test case for lambdas