This method was incorrectly overridden here. It is actually a residual change from my Unsafe/Shadow changes which I erased but forgot that the method had not been overridden in the initial version. Regardless of that, if I check the "generateIteratorMethod" in the DapCodeGenerator, it is doing the generateGetterDAPStatement, which as you claim is also performed in the getter of the set. So perhaps you detected a mistake in which the access is counted twice with regard to the DAP module?