anchor.diff:              ok
       end.
   
  +%% @private
   is_joined(Node, Cluster) ->
       lists:member(Node, Cluster).
   
  +%% @private
   cluster_commands(_State) ->
       [
       % TODO: Disabled, because nodes shutdown on removal from the cluster.
  
positive.code:             ok
      end.
  
  debug(Line, Args) ->
      case ?DEBUG of
          true ->
  
negative.code:             ok
      end.
  
  %% @private
  postcondition_debug(Line, Args) ->
      case ?POSTCONDITION_DEBUG of
          true ->
  