anchor.diff:  %%		3.	it goes to the prepare_2PC to start a two phase commit (when multiple partitions
   %%		are updated. 
   prepareOp(timeout, SD0=#state{operations=Operations, txid=_TransactionId}) ->
  -	case Operations of 
  -	[] ->
  -		{next_state, prepare_2PC, SD0, 0};
  -	[Op|TailOps] ->
  -		[Op|TailOps] = Operations,
  -		{_, Key,_} = Op,
  -		DocIdx = riak_core_util:chash_key({?BUCKET,
  -                                       term_to_binary(Key)}),
  -        lager:info("ClockSI-Coord: PID ~w ~n ", [self()]),
  -        lager:info("ClockSI-Coord: Op ~w ~n ", [Op]),
  -        lager:info("ClockSI-Coord: TailOps ~w ~n ", [TailOps]),
  -        lager:info("ClockSI-Coord: getting leader for Key ~w ~n", [Key]),
  -    	[Leader] = riak_core_apl:get_primary_apl(DocIdx, 1, ?CLOCKSI),	
  -        SD1 = SD0#state{operations=TailOps, currentOp=Op, currentOpLeader=Leader},
  -        {next_state, executeOp, SD1, 0}
  +    case Operations of 
  +        [] ->
  +            {next_state, prepare_2PC, SD0, 0};
  +        [Op|TailOps] ->
  +            [Op|TailOps] = Operations,
  +            {_, Key,_} = Op,
  +            DocIdx = riak_core_util:chash_key({?BUCKET,
  +                                               term_to_binary(Key)}),
  +            lager:info("ClockSI-Coord: PID ~w ~n ", [self()]),
  +            lager:info("ClockSI-Coord: Op ~w ~n ", [Op]),
  +            lager:info("ClockSI-Coord: TailOps ~w ~n ", [TailOps]),
  +            lager:info("ClockSI-Coord: getting leader for Key ~w ~n", [Key]),
  +            [Leader] = riak_core_apl:get_primary_apl(DocIdx, 1, ?CLOCKSI),	
  +            SD1 = SD0#state{operations=TailOps, currentOp=Op, currentOpLeader=Leader},
  +            {next_state, executeOp, SD1, 0}
       end.
   
   
  
positive.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
  
negative.code: %% 	  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}).
  
  %%%===================================================================
  %%% API
  