Likely Bugs/Concurrency/BusyWait.ql