Instrumenting overlapping instances