anchor.diff:      ?assertMatch({ok, {_Txid, _CausalSnapshot}}, End),
       {ok,{_Txid, CausalSnapshot}} = End,
       ReadResult3 = rpc:call(FirstNode, antidote, clocksi_read,
  -                           [CausalSnapshot, abc, Type]),
  +                           [CausalSnapshot, Key1, Type]),
       {ok, {_,[ReadVal],_}} = ReadResult3,
       ?assertEqual(ReadVal, 1),
       lager:info("Test2 passed"),
  
positive.code: clocksi_multiple_key_update_read_test(Nodes) ->
      Firstnode = hd(Nodes),
      Type = crdt_pncounter,
      Key1 = keym1,
      Key2 = keym2,
      Key3 = keym3,
      Ops = [{update,{Key1, Type, {increment,a}}},
             {update,{Key2, Type, {{increment,10},a}}},
             {update,{Key3, Type, {increment,a}}}],
  
negative.code:     %% Read what you wrote
      Result2=rpc:call(FirstNode, antidote, clocksi_execute_tx,
                      [
                        [{read, {Key1, Type}},
                        {update, {Key1, Type, {increment, a}}},
                        {update, {Key2, Type, {increment, a}}},
                        {read, {Key1, Type}}]]),
      ?assertMatch({ok, _}, Result2),
      {ok, {_, ReadSet2, _}}=Result2, 
      ?assertMatch([0,1], ReadSet2),
  