Likely Bugs/Arithmetic/BadCheckOdd.ql