anchor.diff:                  _ ->
                       pvc_stale_vc
               end,
  -%%            lager:info("{~p} PVC writeset disputed [~p] or tx is too fresh [~p]", [erlang:phash2(TxnId), WriteSetDisputed, TooFresh]),
  +            lager:info("{~p} PVC writeset disputed [~p] or tx is too stale [~p]", [erlang:phash2(TxnId), WriteSetDisputed, StaleTx]),
               {{false, Reason}, ignore, State};
   
           false ->
  
positive.code:     Msg = {pvc_vote, Partition, Vote, Seq},
      {Msg, NewState}.
  
  %% @doc Check if any of the keys in a transaction writeset are too fresh with
  %%      respect to the most recent committed version.
  %%
  -spec pvc_are_keys_too_fresh(partition_id(), list(key()), vectorclock_partition:partition_vc(), cache_id()) -> boolean().
  pvc_are_keys_too_fresh(_, [], _, _) ->
      false;
  
  pvc_are_keys_too_fresh(SelfPartition, [Key | Keys], PrepareVC, CommittedTx) ->
      IsTooFresh = case ets:lookup(CommittedTx, Key) of
          [] ->
              false;
  
  
negative.code:         .vcdep,
  
      PartitionKeys = pvc_get_partition_keys(Partition, WriteSet),
      StaleTx = pvc_are_keys_stale(Partition, PartitionKeys, PrepareVC, CommittedTransactions),
  
      {Vote, Seq, NewState} = case WriteSetDisputed orelse StaleTx of
          true ->
              Reason = case WriteSetDisputed of
                  true ->
  