Member predicate Member::Virtualizable::isImplemented

Holds if this interface member is implemented by some other member.

predicate isImplemented()