for (Map.Entry<Integer, IndexMappingBufferRecord> entry : indexMappingBuffer.getMap().entrySet()) {
IndexMappingBufferRecord record = entry.getValue();
//diff states mapping detected
if (record.diffStatesInitialized() && !record.isContracted()) {
fromIndex = entry.getKey().intValue();
toIndex = ig.generate(IndicesUtils.getType(fromIndex));
preprocess.add(fromIndex, toIndex);
byte states = record.getStates();