Likely Bugs/Arithmetic/IntMultToLong.ql