anchor.diff:  -define(NAME, fun(Name) -> [{_, NodeName}] = ets:lookup(?ETS, Name), NodeName end).
   
   %% @private
  -submit_transaction(Node) ->
  +check() ->
  +    %% Get workers.
  +    [{workers, Workers}] = ets:lookup(prop_partisan, workers),
  +
  +    %% Wait for all the worker's mailboxes to settle and wait for the chains to converge.
  +    ok = wait_until(fun() ->
  +                            Chains = sets:from_list(lists:map(fun({_Node, {ok, W}}) ->
  +                                                                      {ok, Blocks} = partisan_hbbft_worker:get_blocks(W),
  +                                                                      Blocks
  +                                                              end, Workers)),
  +
  +                            0 == lists:sum([element(2, rpc:call(?NAME(Name1), erlang, process_info, [W, message_queue_len])) || {{Name1, _}, {ok, W}} <- Workers]) andalso
  +                            1 == sets:size(Chains) andalso
  +                            0 /= length(hd(sets:to_list(Chains)))
  +                    end, 60*2, 500),
  +
  +    Chains = sets:from_list(lists:map(fun({_Node, {ok, Worker}}) ->
  +                                              {ok, Blocks} = partisan_hbbft_worker:get_blocks(Worker),
  +                                              Blocks
  +                                      end, Workers)),
  +    ct:pal("~p distinct chains~n", [sets:size(Chains)]),
  +
  +    Chains.
  +
  +%% @private
  +submit_transaction(Node, Message) ->
       ?PROPERTY_MODULE:command_preamble(Node, [submit_transaction, Node]),
   
       %% Get number of nodes.
  
positive.code:     {ok, Dealer} = dealer:new(N, F+1, 'SS512'),
      {ok, {PubKey, PrivateKeys}} = dealer:deal(Dealer),
  
      %% each node gets a secret key
      NodesSKs = lists:zip(Nodes, PrivateKeys),
  
  
negative.code:                   end, sets:to_list(Chains)),
  
      %% check we actually converged and made a chain
      true = (1 == sets:size(Chains)),
      true = (0 < length(hd(sets:to_list(Chains)))),
  
  