Likely Bugs/Arithmetic/ComparisonPrecedence.ql