anchor.diff:                  end
           end;
           _ ->
  -            {receive_prepared, S0#coord_state{num_to_ack = NumToAck - 1, prepare_time = MaxPrepareTime}}
  +            {receive_prepared, State#coord_state{num_to_ack = NumToAck - 1, prepare_time = MaxPrepareTime}}
       end.
   
   
   %% @doc when an error occurs or an updated partition
   %% does not pass the certification check, the transaction aborts.
  -abort(SD0 = #coord_state{transaction = Transaction,
  +abort(State = #coord_state{transaction = Transaction,
       updated_partitions = UpdatedPartitions}) ->
       NumToAck = length(UpdatedPartitions),
       case NumToAck of
           0 ->
  -            reply_to_client(SD0#coord_state{state = aborted});
  +            reply_to_client(State#coord_state{state = aborted});
           _ ->
               ok = ?CLOCKSI_VNODE:abort(UpdatedPartitions, Transaction),
  -            {receive_aborted, SD0#coord_state{num_to_ack = NumToAck, state = aborted}}
  +            {receive_aborted, State#coord_state{num_to_ack = NumToAck, state = aborted}}
       end.
   
   
  
positive.code: %% sends a log operation per update, to the vnode responsible of the updated
  %% key. After sending all those messages, the coordinator reaches this state
  %% to receive the responses of the vnodes.
  receive_logging_responses(cast, Response, S0 = #coord_state{
      is_static = IsStatic,
      num_to_read = NumToReply,
      return_accumulator = ReturnAcc
  
negative.code:                     true ->
                          ok = ?CLOCKSI_VNODE:commit(UpdatedPartitions, Transaction, MaxPrepareTime),
                          {receive_committed,
                              State#coord_state{
                                  num_to_ack = length(UpdatedPartitions),
                                  commit_time = MaxPrepareTime,
                                  state = committing
                              }
                          };
                      false ->
                          {committing, State#coord_state{
                              prepare_time = MaxPrepareTime,
                              commit_time = MaxPrepareTime,
                              state = committing
  