splitting now is used only for addresses/structs memory regions
IMemoryKey.MatchCondition is not used anymore in MemoryRegion.fs. Now we use only IMemoryKey.IntersectionCondition, which does not require entry region. Records in RegionTree are ordered from oldest to newest in order of addition to the dictionary. splitRead traverses tree from newest records to oldest ones.
RegionTree.write is used in compose and map insted of splitWrite
UpdateTreeKey.time was removed
tree traverse during splitRead is terminated when key which is equal to readKey occurs
handle Ite-values in write operations
concretes are collected during tree traverse in splitRead
splittingnow is used only for addresses/structs memory regionsIMemoryKey.MatchConditionis not used anymore inMemoryRegion.fs. Now we use onlyIMemoryKey.IntersectionCondition, which does not require entry region. Records inRegionTreeare ordered from oldest to newest in order of addition to the dictionary.splitReadtraverses tree from newest records to oldest ones.RegionTree.writeis used incomposeandmapinsted ofsplitWriteUpdateTreeKey.timewas removedsplitReadis terminated whenkeywhich is equal toreadKeyoccursIte-values in write operationssplitRead