Likely Bugs/RandomUsedOnce.ql