anchor.diff:  
   %% 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}).
  +          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
  
positive.code:     gen_fsm:start_link(?MODULE, [From, ClientClock, Operations], []).
  
  finishOp(From, Key,Result) ->
     gen_fsm:send_event(From, {Key, Result}).
     
  %%%===================================================================
  %%% States
  %%%===================================================================
  
negative.code:                     SD1=SD0,
                      {next_state, abort, SD1};
                  ReadResult -> 
                      NewReadSet=lists:append(ReadSet, ReadResult),
                      lager:info("ClockSI-Coord: Read value added to read set: ~p",[CurrentOpLeader]),
                      SD1=SD0#state{read_set=NewReadSet}
              end;
  