Likely Bugs/Arithmetic/PointlessComparison.ql