Likely Bugs/Comparison/EqualsUsesInstanceOf.ql