Fixed concurrency error in isolation analysis