anchor.diff:  %%%== start_tx
   
   %% @doc TODO
  -start_tx(cast, {start_tx, From, ClientClock, Properties}, SD) ->
  -    {next_state, execute_op, start_tx_internal(From, ClientClock, Properties, SD)};
  +start_tx(cast, {start_tx, From, ClientClock, Properties}, State) ->
  +    {next_state, execute_op, start_tx_internal(From, ClientClock, Properties, State)};
   
   %% Used by static update and read transactions
  -start_tx(cast, {start_tx, From, ClientClock, Properties, Operation}, SD) ->
  +start_tx(cast, {start_tx, From, ClientClock, Properties, Operation}, State) ->
       {next_state, execute_op, start_tx_internal(From, ClientClock, Properties,
  -        SD#coord_state{is_static = true, operations = Operation, from = From}), [{state_timeout, 0, timeout}]};
  +        State#coord_state{is_static = true, operations = Operation, from = From}), [{state_timeout, 0, timeout}]};
   
   %% capture regular events (e.g. logging_vnode responses)
   start_tx(info, {_EventType, EventValue}, State) ->
  
positive.code: %%      Should we retry sending the committed message if we don't receive a
  %%      reply from every partition?
  %%      What delivery guarantees does sending messages provide?
  receive_committed(cast, committed, S0 = #coord_state{num_to_ack = NumToAck}) ->
      case NumToAck of
          1 ->
              case reply_to_client(S0#coord_state{state = committed}) of
                  {start_tx, Data} -> {next_state, start_tx, Data};
                  {stop, normal, Data} -> {stop, normal, Data}
              end;
          _ ->
              {next_state, receive_committed, S0#coord_state{num_to_ack = NumToAck - 1}}
      end;
  
  %% capture regular events (e.g. logging_vnode responses)
  
negative.code: %% @doc There was only a single partition with an update in this transaction
  %%      so the transaction has already been committed
  %%      so just wait for the commit message from the client
  committing_single({call, Sender}, commit, State = #coord_state{commit_time = Commit_time}) ->
      case reply_to_client(State#coord_state{
          prepare_time = Commit_time,
          from = Sender,
          commit_time = Commit_time,
  