Generalized concept of instrumented type in order to allow proper treatment of subclass and default method calls.