Likely Bugs/Arithmetic/RandomUsedOnce.ql