Member predicate Member::Virtualizable::implements

Holds if this member implements (transitively) an interface member.

predicate implements()