Likely Bugs/Comparison/InconsistentEqualsHashCode.ql