anchor.diff:  handle_command({bind, Id, Fun, Arg}, _From,
                  State=#state{partition=Partition, table=Table}) ->
       [{_Key, V}] = ets:lookup(Table, Id),
  -    {NextClock, NextKey} = next_key(V#dv.next, State#state.clock, Partition),
  +    {NextClock, NextKey} = next_key(V#dv.next, State#state.clock, Partition, Table),
       execute_and_put(Fun, Arg, NextKey, Id, Table),
       {reply, {ok, NextKey}, State#state{clock=NextClock}};
   
  
positive.code:         NextKey0 == undefined ->
              Next = State#state.clock + 1,
              NextKey = {Next, Partition},
              declare(NextKey);
          true ->
              {Next, _} = NextKey0,
              NextKey = NextKey0
  
negative.code:         NextKey0 == undefined ->
              Next = Clock + 1,
              NextKey = {Next, Partition},
              declare_by_id(NextKey, Table),
              V1 = V#dv{next=NextKey},
              true = ets:insert(Table, {X, V1}),
              {reply, {ok, NextKey}, State#state{clock=Next}};
  