Likely Bugs/Concurrency/NotifyWithoutSynch.ql