anchor.diff:                      {next_state, abort, SD0};
                   ReadResult ->
                       NewReadSet = lists:append(ReadSet, [ReadResult]),
  -                    lager:info("Read value added to read set: ~p",
  -                               [CurrentOpLeader]),
                       SD1 = SD0#state{read_set=NewReadSet},
                       {next_state, prepare_op, SD1, 0}
               end;
  
positive.code: 
  %% ====================================================================
  
  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.
  
  %%%===================================================================
  
negative.code:     Transaction = #transaction{snapshot_time=LocalClock,
                                 vec_snapshot_time=SnapshotTime,
                                 txn_id=TransactionId},
      SD = #state{from=From,
                  transaction=Transaction,
                  operations=Operations,
  