anchor.diff:          .vcdep,
   
       PartitionKeys = pvc_get_partition_keys(Partition, WriteSet),
  -    TooFresh = pvc_are_keys_too_fresh(Partition, PartitionKeys, PrepareVC, CommittedTransactions),
  -
  -    {Vote, Seq, NewState} = case WriteSetDisputed orelse TooFresh of
  +    StaleTx = pvc_are_keys_stale(Partition, PartitionKeys, PrepareVC, CommittedTransactions),
  +
  +    {Vote, Seq, NewState} = case WriteSetDisputed orelse StaleTx of
           true ->
               Reason = case WriteSetDisputed of
                   true ->
  
positive.code:                 _ ->
                      pvc_stale_vc
              end,
  %%            lager:info("{~p} PVC writeset disputed [~p] or tx is too fresh [~p]", [erlang:phash2(TxnId), WriteSetDisputed, TooFresh]),
              {{false, Reason}, ignore, State};
  
          false ->
  
negative.code:             PrepareTime = vectorclock_partition:get_partition_time(SelfPartition, PrepareVC),
              CommitTime > PrepareTime
      end,
      case StaleKey of
          true ->
              true;
  
          false ->
              pvc_are_keys_stale(SelfPartition, Keys, PrepareVC, CommittedTx)
      end.
  
  -spec pvc_store_key_commitvc(partition_id(), cache_id(), list(), vectorclock_partition:partition_vc()) -> ok.
  