anchor.diff:  %% 	  state: state of the transaction: {active|prepared|committing|committed}
   %%----------------------------------------------------------------------
   -record(state, {
  -          from :: pid(),
  -          txid :: #tx_id{},
  -          operations :: list,
  -          updated_partitions :: list, 
  -          currentOp = undefined :: term() | undefined,
  -          num_to_ack :: int, 
  -          currentOpLeader :: riak_core_apl:preflist2(),
  -          prepare_time :: int,	
  -          commit_time ::int,
  -          read_set :: list,
  -          state}).
  +                from :: pid(),
  +                txid :: #tx_id{},
  +                operations :: list,
  +                updated_partitions :: list, 
  +                currentOp = undefined :: term() | undefined,
  +                num_to_ack :: int, 
  +                currentOpLeader :: riak_core_apl:preflist2(),
  +				prepare_time :: int,	
  +				commit_time ::int,
  +				read_set :: list,
  +				state}).
   
   %%%===================================================================
   %%% API
  
positive.code:     gen_fsm:start_link(?MODULE, [From, ClientClock, Operations], []).
  
  finishOp(From, Key,Result) ->
      gen_fsm:send_event(From, {Key, Result}).
  
  %%%===================================================================
  %%% States
  %%%===================================================================
  
negative.code: 
  %% States
  -export	([prepareOp/2, executeOp/2, finishOp/3, prepare_2PC/2, 
  		receive_prepared/2, committing/2, receive_committed/2, abort/2, receive_aborted/2,
  		reply_to_client/2]).
  
  
  %-record(operationCSI, {opType, key, params}).
  
  %%---------------------------------------------------------------------
  %% Data Type: state
  