Likely Bugs/IncomparableEquals.ql