anchor.diff:        NP2 =
           case NewWaiting =:= dict:new() of
             true -> NP1;
  -          false -> 
  +          false ->
               NW = dict:merge(
                 fun(_K, A, _B) ->
                   %% If there is a conflict, then both dicts already included the same commands
  
positive.code:       %% 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.
  
negative.code:   {
      cid = 0 :: non_neg_integer(), %% used to give command unique identifier
  
      %% core protocol variables
      seq = 0 :: non_neg_integer(),
      max_seq = -1 :: integer(),
  
  