anchor.diff:        %% As per otimization of the full paper, queries do not have be included
         %% into the set (should not filter anything if notify buffer below is empty)
         UpdateCmds = remove_query_commans(Buffered),
  -      
  +
         %% If we included commands from clients in this buffer that needs to be
         %% notified of the result as soon as the commands are learend, add a noop
         %% with an ID. If this noop is learned, notify all clients.
  
positive.code:       State;
      true ->
        NR1 = ?rinc(count, Replies),
        NR2 = 
          case ReplyType of
            accept -> ?rinc(accept_count, NR1);
            reject -> ?radd(reject_val, ReplyVal, NR1);
  
negative.code:       NP2 =
          case NewWaiting =:= dict:new() of
            true -> NP1;
            false ->
              NW = dict:merge(
                fun(_K, A, _B) ->
                  %% If there is a conflict, then both dicts already included the same commands
  