// Check value counts for store
PartitionedMemory<BasedNumberElement> sStore = ((BasedNumberValuation)s).getStore();
for (EntryIterator<MemoryRegion, Long, BasedNumberElement> entryIt = sStore.entryIterator(); entryIt.hasEntry(); entryIt.next()) {
MemoryRegion region = entryIt.getLeftKey();
Long offset = entryIt.getRightKey();
BasedNumberElement value = entryIt.getValue();
SetMultimap<Long, BasedNumberElement> memoryMap = eprec.regionMaps.get(region);
if (memoryMap == null) continue;