Member predicate Overridable :: implements
Holds if this member implements (transitively) an interface member.
predicate
implements
(
)