Say we have a range map that maps [a, f) to resolver#1, and we insert (a, 1) , (b, 1), (c, 1) into resolver#1, and then it triggers master to start a resolution split process as in link . Suppose, resolver#1’s new range is [a, c), but will key c got garbage collected in the skip list? I didnt find any code in SkipList.cpp relating to that.