anchor.diff:      %% be used
       Tid = tx_state:get_tid(TxState),
       RTMs = tx_state:get_rtms(TxState),
  -    CleanRTMs = [ X || {X} <-rtms_get_rtmpids(RTMs) ],
  +    CleanRTMs = [ X || {X} <- rtms_get_rtmpids(RTMs) ],
       Accs = [ X || {X} <- rtms_get_accpids(RTMs) ],
       TM = comm:this(),
       _ = [ begin
  
positive.code:     %% inform TPs
      X = [ begin
                {ok, ItemState} = get_item_entry(ItemId, State),
                [ case comm:is_valid(TP) of
                      false -> unknown;
                      true ->
                          msg_tp_do_commit_abort(TP, {PaxId, RTLogEntry,
                                                      comm:this(), ItemId},
                                                 Result), ok
                  end
                  || {PaxId, RTLogEntry, TP}
                         <- tx_item_state:get_paxosids_rtlogs_tps(ItemState) ]
            end || {_TLogEntry, ItemId} <- tx_state:get_tlog_txitemids(TxState) ],
      Y = [ Z || Z <- lists:flatten(X), Z =:= ok ],
      tx_state:set_numinformed(TxState, length(Y)).
  
  -spec inform_rtms(tx_state:tx_id(), state(), ?commit | ?abort) -> ok.
  inform_rtms(TxId, State, Result) ->
  
negative.code:             %% add ourselves as learner and
              %% trigger paxos proposers for new round with own proposal 'abort'
              TxItemIDs = [ TxItemId || {_, TxItemId} <- tx_state:get_tlog_txitemids(TxState)],
              GLLearner = state_get_gllearner(State),
              Proposer = comm:make_global(get_my(Role, proposer)),
              [ begin
                    {_, ItemState} = get_item_entry(ItemId, State),
                    case tx_item_state:get_decided(ItemState) of
                        false ->
  %%                          ct:pal("initiating proposer~n"),
                            [ begin
                                  learner:start_paxosid(GLLearner, PaxId, Maj,
  