anchor.diff:              Maj = config:read(quorum_factor),
               RTMs = tx_state_get_rtms(TxState),
               Role = state_get_role(State),
  -            ValidAccs = [ X || {X} <- rtms_get_accpids(RTMs)],
  +            ValidAccs = rtms_get_valid_accpids(RTMs),
               MaxProposers = length(ValidAccs) + 1,
               This = comm:this(),
               case comm:is_valid(This) of
  
positive.code:     end.
  
  -compile({inline, [rtm_entry_new/4, get_rtmkey/1, set_rtmkey/2, get_rtmpid/1,
                     get_nth/1, get_accpid/1,
                     rtms_get_rtmpids/1, rtms_get_accpids/1]}).
  
  -spec rtm_entry_new(?RT:key(), {comm:mypid()} | unknown,
                      0..3, {comm:mypid()} | unknown) -> rtm().
  
negative.code:     %% be used
      Tid = tx_state_get_tid(TxState),
      RTMs = tx_state_get_rtms(TxState),
      CleanRTMs = rtms_get_valid_rtmpids(RTMs),
      Accs = rtms_get_valid_accpids(RTMs),
      TM = comm:this(),
      _ = [ begin
            %% ItemState = lists:keyfind(ItemId, 1, ItemStates),
  