anchor.diff:  
   %% @doc Initialize the state.
   init([From, ClientClock, Operations]) ->
  -    case ClientClock of
  -        ignore -> {ok, LocalClock} = get_snapshot_time();
  -        _ ->  {ok, LocalClock}= get_snapshot_time(ClientClock)
  +    {ok, LocalClock} = case ClientClock of
  +        ignore ->
  +            get_snapshot_time();
  +        _ ->
  +            get_snapshot_time(ClientClock)
       end,
  -    TransactionId=#tx_id{snapshot_time=LocalClock, server_pid=self()},
  +    TransactionId = #tx_id{snapshot_time=LocalClock, server_pid=self()},
       {ok, VecSnapshotTime} = vectorclock:get_clock_node(node()),
       DcId = dc_utilities:get_my_dc_id(),
       SnapshotTime = dict:update(DcId,
                                   fun (_Old) -> LocalClock end,
                                   LocalClock, VecSnapshotTime),
  -    Transaction = #transaction{snapshot_time = LocalClock,
  -                               vec_snapshot_time = SnapshotTime,
  -                               txn_id = TransactionId},
  -    SD = #state{
  -            from=From,
  -            transaction = Transaction,
  -            operations=Operations,
  -            updated_partitions=[],
  -            prepare_time=0,
  -            read_set=[]
  -           },
  +    Transaction = #transaction{snapshot_time=LocalClock,
  +                               vec_snapshot_time=SnapshotTime,
  +                               txn_id=TransactionId},
  +    SD = #state{from=From,
  +                transaction=Transaction,
  +                operations=Operations,
  +                updated_partitions=[],
  +                prepare_time=0,
  +                read_set=[]},
       {ok, prepare_op, SD, 0}.
   
   
  
positive.code: -spec get_snapshot_time(non_neg_integer()) -> {ok, non_neg_integer()}.
  get_snapshot_time(ClientClock) ->
      Now = clocksi_vnode:now_milisec(erlang:now()),
      case (ClientClock > Now) of
          true->
              SnapshotTime = ClientClock + ?MIN;
          false ->
              SnapshotTime = Now
      end,
      {ok, SnapshotTime}.
  
  
negative.code: -include("floppy.hrl").
  
  %% API
  -export([start_link/3,
           start_link/2]).
  
  %% Callbacks
  -export([init/1,
           code_change/4,
           handle_event/3,
           handle_info/3,
           handle_sync_event/4,
           terminate/3]).
  
  %% States
  -export ([prepare_op/2,
            execute_op/2,
            finish_op/3,
            prepare_2pc/2,
            receive_prepared/2,
            committing/2,
            receive_committed/2,
            abort/2,
            receive_aborted/2,
            reply_to_client/2]).
  
  %%---------------------------------------------------------------------
  