Likely Bugs/Concurrency/LazyInitStaticField.ql