Instrumentation in resolver