anchor.diff:  clocksi_single_key_update_read_test(Nodes) ->
       lager:info("Test3 started"),
       FirstNode = hd(Nodes),
  -    Key = k3,
  +    Key = clocksi_single_key_update_read_test_pncounter1,
       Type = crdt_pncounter,
       Result= rpc:call(FirstNode, antidote, clocksi_bulk_update,
                        [
  
positive.code:     lager:info("Test1 started"),
      Type = crdt_pncounter,
      %% Empty transaction works,
      Result0=rpc:call(FirstNode, antidote, clocksi_execute_tx,
                      [[]]),
      ?assertMatch({ok, _}, Result0),
  
negative.code:     %% Multiple updates to a key in a transaction works
      Result5=rpc:call(FirstNode, antidote, clocksi_execute_tx,
                      [
                       [{update, {Key1, Type, {increment, a}}},
                        {update, {Key1, Type, {increment, a}}}]]),
      ?assertMatch({ok,_}, Result5),
  
      Result6=rpc:call(FirstNode, antidote, clocksi_execute_tx,
                      [
                       [{read, {Key1, Type}}]]),
      {ok, {_, ReadSet6, _}}=Result6,
      ?assertEqual(3, hd(ReadSet6)),
      pass.
  