anchor.diff:      gen_server:reply({Address, Ref}, Result),
       reply_to_all(T, Result).
   
  -next_key(NextKey0, Type) ->
  +next_key(NextKey0, Type, State) ->
       case NextKey0 of
           undefined ->
  -            {ok, NextKey} = declare_next(Type),
  +            {ok, NextKey} = declare_next(Type, State),
               NextKey;
           _ ->
               NextKey0
  
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,
  