anchor.diff:  -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
  +    SnapshotTime = case (ClientClock > Now) of
           true->
  -            SnapshotTime = ClientClock + ?MIN;
  +            ClientClock + ?MIN;
           false ->
  -            SnapshotTime = Now
  +            Now
       end,
       {ok, SnapshotTime}.
   
  
positive.code: 
  %% @doc Initialize the state.
  init([From, ClientClock, Operations]) ->
      case ClientClock of
          ignore -> {ok, LocalClock} = get_snapshot_time();
          _ ->  {ok, LocalClock}= get_snapshot_time(ClientClock)
      end,
      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=[]
             },
      {ok, prepare_op, SD, 0}.
  
  
  
negative.code:                                    commit_time=CommitTime}) ->
      TxId = Transaction#transaction.txn_id,
      _ = case TxState of
          committed ->
              From ! {ok, {TxId, ReadSet, CommitTime}};
          aborted ->
              From ! {abort, TxId};
          Reason ->
              From ! {ok, TxId, Reason}
      end,
      {stop, normal, SD}.
  
  %% ====================================================================
  
  handle_info(Info, _StateName, StateData) ->
      lager:info("Received ignored info: ~p", [Info]),
      {stop, badmsg, StateData}.
  
  handle_event(Event, _StateName, StateData) ->
      lager:info("Received ignored event: ~p", [Event]),
      {stop, badmsg, StateData}.
  
  handle_sync_event(Event, _From, _StateName, StateData) ->
      lager:info("Received ignored sync event: ~p", [Event]),
      {stop, badmsg, StateData}.
  
  code_change(_OldVsn, StateName, State, _Extra) ->
      {ok, StateName, State}.
  
  terminate(Reason, _SN, _SD) ->
      lager:info("Terminate triggered with reason: ~p", [Reason]),
      ok.
  
  %%%===================================================================
  