anchor.diff:          {receive_logging_responses, Data} ->
               {next_state, receive_logging_responses, Data};
           {receive_logging_responses, Data, 0} ->
  -            {next_state, receive_logging_responses, Data, 0};
  +            {next_state, receive_logging_responses, Data, [{state_timeout, 0, timeout}]};
   
           {Reply, execute_op, Data} ->
               {next_state, execute_op, Data, [{reply, Sender, Reply}]};
  
positive.code: %% @doc Contact the leader computed in the prepare state for it to execute the
  %%      operation, wait for it to finish (synchronous) and go to the prepareOP
  %%       to execute the next operation.
  %% TODO these seem to only get triggered by internal timeouts
  execute_op(timeout, _TimeoutPeriod, State = #tx_coord_state{operations = Operations, from = From}) ->
      execute_op({call, From}, Operations, State);
  
  %% update kept for backwards compatibility with tests.
  
negative.code: %% Used by static update and read transactions
  start_tx(cast, {start_tx, From, ClientClock, Properties, Operation}, SD) ->
      {next_state, execute_op, start_tx_internal(From, ClientClock, Properties,
          SD#tx_coord_state{is_static = true, operations = Operation, from = From}), [{state_timeout, 0, timeout}]}.
  
  
  
  