Likely Bugs/EqualsArray.ql