anchor.diff:      rpc:call(name_to_nodename(SourceNode), ?MANAGER, remove_interposition_fun, [{corruption, DestinationNode}]).
   
   induce_async_partition(SourceNode, DestinationNode0) ->
  -    debug("induce_async_partition: source_node ~p destination_node ~p", [SourceNode, DestinationNode0]),
  +    partition_debug("induce_async_partition: source_node ~p destination_node ~p", [SourceNode, DestinationNode0]),
   
       %% Convert to real node name and not symbolic name.
       DestinationNode = name_to_nodename(DestinationNode0),
  
positive.code:     rpc:call(name_to_nodename(SourceNode), ?MANAGER, remove_interposition_fun, [{async, DestinationNode}]).
  
  induce_sync_partition(SourceNode, DestinationNode) ->
      debug("induce_sync_partition: source_node ~p destination_node ~p", [SourceNode, DestinationNode]),
      SourceResult = induce_async_partition(SourceNode, DestinationNode),
      DestinationResult = induce_async_partition(DestinationNode, SourceNode),
      all_to_ok_or_error([SourceResult, DestinationResult]).
  
negative.code: 
  %% Debug.
  -define(DEBUG, true).
  -define(PARTITION_DEBUG, false).
  -define(INITIAL_STATE_DEBUG, false).
  -define(PRECONDITION_DEBUG, false).
  -define(POSTCONDITION_DEBUG, false).
  