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: 
  %% Debug.
  -define(DEBUG, true).
  -define(INITIAL_STATE_DEBUG, false).
  -define(PRECONDITION_DEBUG, false).
  -define(POSTCONDITION_DEBUG, false).
  
negative.code:                     AccIn
              end
          end, 0, PartitionFilters),
      postcondition_debug("is_involved_in_x_partitions is ~p and should be ~p", [Count, X]),
      Count >= X.
  
  is_valid_partition(SourceNode, DestinationNode) ->
  