Likely Bugs/Comparison/WrongNanComparison.ql