Language Abuse/UselessUpcast.ql