anchor.diff:      Type = crdt_rga,
       Key = key_remove_insert,
       Result0 = rpc:call(FirstNode, antidote, clocksi_execute_tx,
  -        [[{update, Key, Type, {{addRight, a, 1}, 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),
  
positive.code:     Type = crdt_rga,
      Key = key_remove,
      Result0 = rpc:call(FirstNode, antidote, clocksi_execute_tx,
          [[{update, Key, Type, {{addRight, a, 1}, ucl}},
              {update, Key, Type, {{addRight, b, 1}, ucl}},
              {update, Key, Type, {{addRight, c, 2}, ucl}}]]),
      ?assertMatch({ok, _}, Result0),
  
negative.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),
  