anchor.diff:      Type = crdt_rga,
       Key = key_remove_insert,
       Result0 = rpc:call(FirstNode, antidote, clocksi_execute_tx,
  -        [[{update, Key, Type, {{addRight, a, 0}, ucl}},
  -            {update, Key, Type, {{addRight, b, 1}, ucl}},
  -            {update, Key, Type, {{addRight, c, 2}, ucl}}]]),
  +        [[{update, {Key, Type, {{addRight, a, 0}, ucl}}},
  +            {update, {Key, Type, {{addRight, b, 1}, ucl}}},
  +            {update, {Key, Type, {{addRight, c, 2}, ucl}}}]]),
       ?assertMatch({ok, _}, Result0),
       Result1 = rpc:call(FirstNode, antidote, clocksi_execute_tx,
  -        [[{update, Key, Type, {{remove, 3}, ucl}}]]),
  +        [[{update, {Key, Type, {{remove, 3}, ucl}}}]]),
       ?assertMatch({ok, _}, Result1),
       Result2 = rpc:call(FirstNode, antidote, clocksi_execute_tx,
  -        [[{update, Key, Type, {{addRight, d, 3}, ucl}}]]),
  +        [[{update, {Key, Type, {{addRight, d, 3}, ucl}}}]]),
       ?assertMatch({ok, _}, Result2),
       Result3 = rpc:call(FirstNode, antidote, read, [Key, Type]),
       ?assertMatch({ok, [{ok, a, _}, {ok, b, _}, {deleted, c, _}, {ok, d, _}]}, Result3),
  
positive.code:     Type = crdt_rga,
      Key = key_add,
      Result0 = rpc:call(FirstNode, antidote, clocksi_execute_tx,
          [[{update, Key, Type, {{addRight, a, 0}, ucl}}]]),
      ?assertMatch({ok, _}, Result0),
      Result1 = rpc:call(FirstNode, antidote, read, [Key, Type]),
      ?assertMatch({ok, [{ok, a, _}]}, Result1),
      Result2 = rpc:call(FirstNode, antidote, clocksi_execute_tx,
          [[{update, Key, Type, {{addRight, b, 1}, ucl}}]]),
      ?assertMatch({ok, _}, Result2),
      Result3 = rpc:call(FirstNode, antidote, read, [Key, Type]),
      ?assertMatch({ok, [{ok, a, _}, {ok, b, _}]}, Result3),
      Result4 = rpc:call(FirstNode, antidote, clocksi_execute_tx,
          [[{update, Key, Type, {{addRight, c, 2}, ucl}}]]),
      ?assertMatch({ok, _}, Result4),
      Result5 = rpc:call(FirstNode, antidote, read, [Key, Type]),
      ?assertMatch({ok, [{ok, a, _}, {ok, b, _}, {ok, c, _}]}, Result5),
  
negative.code:     Type = crdt_rga,
      Key = key_remove,
      Result0 = rpc:call(FirstNode, antidote, clocksi_execute_tx,
          [[{update, {Key, Type, {{addRight, a, 0}, ucl}}},
              {update, {Key, Type, {{addRight, b, 1}, ucl}}},
              {update, {Key, Type, {{addRight, c, 2}, ucl}}}]]),
      ?assertMatch({ok, _}, Result0),
      Result1 = rpc:call(FirstNode, antidote, read, [Key, Type]),
      ?assertMatch({ok, [{ok, a, _}, {ok, b, _}, {ok, c, _}]}, Result1),
      Result2 = rpc:call(FirstNode, antidote, clocksi_execute_tx,
          [[{update, {Key, Type, {{remove, 2}, ucl}}}]]),
      ?assertMatch({ok, _}, Result2),
      Result3 = rpc:call(FirstNode, antidote, read, [Key, Type]),
      ?assertMatch({ok, [{ok, a, _}, {deleted, b, _}, {ok, c, _}]}, Result3),
      Result4 = rpc:call(FirstNode, antidote, clocksi_execute_tx,
          [[{update, {Key, Type, {{remove, 1}, ucl}}}, {update, {Key, Type, {{remove, 3}, ucl}}}]]),
      ?assertMatch({ok, _}, Result4),
      Result5 = rpc:call(FirstNode, antidote, read, [Key, Type]),
      ?assertMatch({ok, [{deleted, a, _}, {deleted, b, _}, {deleted, c, _}]}, Result5),
  