anchor.diff:      end.
   
   %% @doc reads the value of a key
  -%% @spec read(key()) -> {failure, term()} | value()
  +%% @spec read(key()) -> value() | {fail, term()} 
  +-spec read(key()) -> value() | {fail, term()}.
   read(Key) ->
       case util:tc(transaction_api, quorum_read, [Key]) of
           {_Time, {fail, Reason}} ->
  
positive.code:                                        Result2 == ok ->
                                             {{ok, done}, TransLog2};
                                         true ->
                                             {{fail, notfound}, TransLog2}
                                     end;
                                 true ->
                                     {{fail, {key_changed, ReadValue}}, TransLog1}
  
negative.code: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  
  %% @type key() = term(). Key
  -type(key() :: term()).
  %% @type value() = term(). Value
  -type(value() :: term()).
  
  process_request_list(TLog, ReqList) ->
      erlang:put(instance_id, process_dictionary:find_group(cs_node)),
  