Likely Bugs/Concurrency/NonSynchronizedOverride.ql