ArrayLength instrumented