anchor.diff:        val mutable internal outerCursor : ICursor<'K,'TContainer>
         val mutable internal innerCursor : ICursor<'K,'V>
         val mutable internal isBatch : bool
  +      val mutable internal synced : bool
  +      new(source:SortedChunkedMapGeneric<'K,'V,'TContainer>, synced) = 
  +        { source = source; 
  +          outerCursor = source.OuterMap.GetCursor();
  +          innerCursor = Unchecked.defaultof<_>;
  +          isBatch = false;
  +          synced = synced;
  +        }
         new(source:SortedChunkedMapGeneric<'K,'V,'TContainer>) = 
           { source = source; 
             outerCursor = source.OuterMap.GetCursor();
             innerCursor = Unchecked.defaultof<_>;
             isBatch = false;
  +          synced = true;
           }
       end
   
  
positive.code:         /////////// End read-locked code /////////////
          if doSpin then
            let nextVersion = Volatile.Read(&this.source.nextVersion)
            if version = nextVersion then doSpin <- false
            else sw.SpinOnce()
        if result then
          //if this.HasValidInner then this.innerCursor.Dispose()
  
negative.code:       /////////// End read-locked code /////////////
          if doSpin then
            let nextVersion = Volatile.Read(&this.source.nextVersion)
            if version = nextVersion || not this.synced then doSpin <- false
            else sw.SpinOnce()
        if result then
          //if this.HasValidInner then this.innerCursor.Dispose()
  