anchor.diff:  
   terminate(_Reason, _SN, _SD) ->
       ok.
  -
  
positive.code:                                 Acc;
                              {read, Key, Type} ->
                                  {ok, Value} = gen_fsm:sync_send_event(TxCoordPid, {read, {Key, Type}}),
                                  lager:info("Read value:", [Value]),
                                  Acc++[Value]
                          end
                  end,
  
negative.code: 
  %% @doc Initialize the state.
  init([From, ClientClock, Operations]) ->
      {ok, _Pid} = case ClientClock of
                       ignore ->
                           clocksi_interactive_tx_coord_sup:start_fsm([self()]);
                       _ ->
                           clocksi_interactive_tx_coord_sup:start_fsm([self(), ClientClock])
                   end,
      receive
          {ok, TxId} ->
              {_, _, TxCoordPid} = TxId,
              {ok, execute_batch_ops, #state{tx_id=TxId, tx_coord_pid = TxCoordPid,
                                             from = From, operations = Operations}, 0}
      after
          10000 ->
              lager:error("Tx was not started!"),
              gen_fsm:reply(From, {error, timeout}),
              {stop, normal, #state{}}
      end.
  