InstanceOf instrumented