Likely Bugs/Arithmetic/PointlessSelfComparison.ql