Likely Bugs/UncheckedCastInEquals.ql