For other CodeQL resources, including tutorials and examples, see Learning CodeQL
Whether this overrides o. In this context, “overrides” means that this object
is a named attribute of a some class C and o is a named attribute of another
class S, both attributes having the same name, and S is a super class of C.
predicate overrides(Object o)