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