No instrumentation when method is undeclared and already instrumented in super-class

[BenRomberg]

This should give a significant performance improvement, e.g. when defining an equals-contract.