anchor.diff:          nil ->
               undefined;
           _ ->
  -            next_key(V#dv.next, V#dv.type)
  +            next_key(V#dv.next, V#dv.type, State)
       end,
       Functions = V#dv.functions,
       case V#dv.bounded of
  
positive.code: 
  -ignore_xref([start_vnode/1]).
  
  -record(state, {partition, variables}).
  
  -record(dv, {value,
               next = undefined,
               waiting_threads = [],
               binding_list = [],
               functions = [],
  
negative.code:     Bounded = V#dv.bounded,
      {reply, Bounded, State};
  
  handle_command(_Message, _Sender, State) ->
      {noreply, State}.
  
  handle_handoff_command(?FOLD_REQ{foldfun=FoldFun, acc0=Acc0}, _Sender,
  