Likely Bugs/Arithmetic/SignedOverflowCheck.ql