I checked the InfinispanCodeGenerator, for instance, and the *MultStar* methods that use the getter are duplicating the DAP statement count. I avoided this behavior in the JVSTM backend, but a consistent decision must be taken. At this point, the JVSTM backend would have fewer statistic counts than the Infinispan.