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: -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]).
  
  %%---------------------------------------------------------------------
  
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.
  
  %%%===================================================================
  