Likely Bugs/BadCheckOdd.ql