CodeQL library for C#
codeql/csharp-all 1.0.3-dev (changelog, source)

Member predicate Property::getAnUltimateImplementor

Gets a member that (transitively) implements this interface member, if any. That is, either this interface member is immediately implemented by the result, or the result overrides (transitively) another member that immediately implements this interface member.

Note that this is generally not equivalent with getImplementor().getAnOverrider*() (see getImplementee).

Property getAnUltimateImplementor()