Likely Bugs/ObjectComparison.ql