anchor.diff:  -type rtm() :: {?RT:key(),
                   comm:mypid() | unknown,
                   Role :: non_neg_integer(),
  -                Acceptor :: comm:mypid() | unknown}.
  +                (Acceptor :: comm:mypid()) | unknown}.
   
   -type rtms() :: [rtm()].
   
  
positive.code:             Maj = config:read(quorum_factor),
              RTMs = tx_state:get_rtms(TxState),
              Role = state_get_role(State),
              Accs = rtms_get_accpids(RTMs),
              {_, _, ThisRTMsNumber, _} = lists:keyfind(comm:this(), 2, RTMs),
  
              %% add ourselves as learner and
  
negative.code:     Tid = tx_state:get_tid(TxState),
      RTMs = tx_state:get_rtms(TxState),
      CleanRTMs = rtms_get_rtmpids(RTMs),
      Accs = [ X || X <- rtms_get_accpids(RTMs), unknown =/= X ],
      TM = comm:this(),
      _ = [ begin
            %% ItemState = lists:keyfind(ItemId, 1, ItemStates),
  