anchor.diff:  init([From, ClientClock, Properties, StayAlive, Operations]) ->
       BaseState = init_state(StayAlive, true, true, Properties),
       State = start_tx_internal(From, ClientClock, Properties, BaseState),
  -    {ok, execute_op, State#tx_coord_state{operations = Operations, from = From}, 0}.
  +    {ok, execute_op, State#tx_coord_state{operations = Operations, from = From}, [{state_timeout, 0, timeout}]}.
   
   
   %%%== execute_op
  
positive.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}), 0}.
  
  
  
  
negative.code:         {receive_logging_responses, Data} ->
              {next_state, receive_logging_responses, Data};
          {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}]};
  