anchor.diff:                      CausalClock = ?VECTORCLOCK:set_clock_of_dc(DcId, CommitTime, Transaction#transaction.vec_snapshot_time),
                       case IsStatic of
                           false ->
  -                            io:format("reply_to_client, committed, sending CausalClock~n"),
                               {ok, {TxId, CausalClock}};
                           true ->
                               {ok, CausalClock}
  
positive.code: 
  %% @doc Execute the commit protocol
  execute_command(prepare, Protocol, Sender, State0) ->
      io:format("Preparing tx with prot ~p~n", [Protocol]),
      State = State0#tx_coord_state{from=Sender, commit_protocol=Protocol},
      case Protocol of
          two_phase ->
  
negative.code: committing_single(commit, Sender, SD0 = #tx_coord_state{
      commit_time = Commit_time
  }) ->
      reply_to_client(SD0#tx_coord_state{prepare_time = Commit_time, from = Sender, commit_time = Commit_time, state = committed}).
  
  %% @doc after receiving all prepare_times, send the commit message to all
  