anchor.diff:          false ->
               case application:get_env(antidote, txn_prot) of
                   {ok, clocksi} ->
  -                    case clocksi_execute_tx(Clock, Args, StayAlive) of
  +                    case clocksi_execute_tx(Clock, Args, update_clock, StayAlive) of
                           {ok, {_TxId, Result, CommitTime}} ->
                               {ok, Result, CommitTime};
                           {error, Reason} -> {error, Reason}
  
positive.code:                     {error, Reason}
              end;
          false ->
              case clocksi_execute_tx(Clock, Operations, StayAlive) of
                  {ok, {_TxId, [], CommitTime}} ->
                      {ok, CommitTime};
                  {error, Reason} -> {error, Reason}
  
negative.code:                 {ok, gr} ->
                      case Args of
                          [_Op] -> %% Single object read = read latest value
                              case clocksi_execute_tx(Clock, Args, update_clock, StayAlive) of
                                  {ok, {_TxId, Result, CommitTime}} ->
                                      {ok, Result, CommitTime};
                                  {error, Reason} -> {error, Reason}
  