12% speed improvement in the recording phase of annex---optimized call to hasGetterSetter