anchor.diff:              ok
       end.
   
  +%% @private
   postcondition_debug(Line, Args) ->
       case ?POSTCONDITION_DEBUG of
           true ->
  
positive.code:             ok
      end.
  
  is_joined(Node, Cluster) ->
      lists:member(Node, Cluster).
  
  cluster_commands(_State) ->
      [
      % TODO: Disabled, because nodes shutdown on removal from the cluster.
  
negative.code:     {call, ?MODULE, sync_leave_cluster, [node_name()]}
      ].
  
  %% @private
  name_to_nodename(Name) ->
      [{_, NodeName}] = ets:lookup(?MODULE, Name),
      NodeName.
  
  %% @private
  ensure_tracing_started() ->
      partisan_trace_orchestrator:start_link().
  
  %% @private
  wait_until_nodes_agree_on_membership(Nodes) ->
      AgreementFun = fun(Node) ->
          %% Get membership at node.
  