anchor.diff:         tx_first_pays_second_more_it_can_afford,
          mine_on_second,
          ensure_tx_pools_one_tx]},
  +     {mempool_sync, [sequence],
  +      [start_first_node,
  +       mine_on_first_up_to_latest_consensus_protocol,
  +       mine_on_first,
  +       start_second_node,
  +       tx_first_pays_second,   %% Tx nonce = 1
  +       ensure_tx_pools_one_tx, %% for dev1 & dev2
  +       mine_again_on_first,
  +       ensure_tx_pools_empty,  %% for dev1 & dev2
  +       tx_first_pays_second,
  +       ensure_tx_pools_one_tx, %% Tx nonce = 2,
  +       start_third_node,
  +       ensure_tx_pools_one_tx, %% for dev1 & dev2
  +       ensure_tx_pools_one_tx_third_node %% check mempool on dev3
  +      ]},
        {one_blocked, [sequence],
         [start_first_node,
          mine_on_first,
  
positive.code: end_per_suite(Config) ->
      stop_devs(Config).
  
  init_per_group(TwoNodes, Config) when TwoNodes == two_nodes;
          TwoNodes == semantically_invalid_tx; TwoNodes == large_msgs ->
      config({devs, [dev1, dev2]}, Config);
  init_per_group(three_nodes, Config) ->
      config({devs, [dev1, dev2, dev3]}, Config);
  
negative.code: ensure_tx_pools_one_tx(Config) ->
      ensure_tx_pools_n_txs_(Config, 1).
  
  ensure_tx_pools_one_tx_first_node(_Config) ->
      ensure_tx_pools_on_dev(dev1, 1).
  
  ensure_tx_pools_one_tx_second_node(_Config) ->
      ensure_tx_pools_on_dev(dev2, 1).
  
  ensure_tx_pools_one_tx_third_node(_Config) ->
      ensure_tx_pools_on_dev(dev3, 1).
  
  ensure_tx_pools_on_dev(Dev, TxsCount) ->
      Node = aecore_suite_utils:node_tuple(Dev),
      ensure_tx_pools_n_txs_on_nodes([Node], TxsCount).
  
  ensure_tx_pools_n_txs_(Config, TxsCount) ->
      Nodes = ?config(nodes, Config),
      ensure_tx_pools_n_txs_on_nodes(Nodes, TxsCount).
  
  ensure_tx_pools_n_txs_on_nodes(Nodes, TxsCount) ->
      retry(
        fun() ->
                [APool | RestPools] =
  