anchor.diff:  
     NP1 = ?set(loop_iter, Iteration, PState),
     NP2 = ?set(loop_val, Val, NP1),
  -  NP3 = ?set(replies, #replies{}, NP2),
  +  NP3 = ?set(replies, new_replies(), NP2),
     save_pstate(Key, NP3, State),
   
     %% the second key entry is necesasry as this is not replaced by the dht and is used
  
positive.code: 
        NP3 = ?set(active, true, NP2),
        NP4 = ?set(buff_val, new_buffer(), NP3),
        NP5 = ?set(replies, new_replies(), NP4),
        save_pstate(Key, NP5, State),
        comm:send_local(self(), {zheng_acceptor, agree_loop, Key, _Iteration=1}),
        State;
  
negative.code: 
      NP2 = add_to_notify(Client, UpdateCmd, NP1),
      NP3 = ?add(buff_val, UpdateCmd, NP2),
      NP4 = ?set(last_update_cmd_received_in_buf, UpdateCmd, NP3),
      save_pstate(Key, NP4, State),
  
      comm:send_local(self(), {zheng_acceptor, agree, Key, DataType}),
      State;
  