Instrumentation for property reads