Member predicate Method::implements

Holds if this method implements the method that has qualified name pkg.tp.name, that is, if pkg.tp.name is a method on an interface, and this is a method with the same name on a type that implements that interface.