Likely Bugs/InconsistentCompareTo.ql