Likely Bugs/Concurrency/DoubleCheckedLockingWithInitRace.ql