anchor.diff:  enough_nodes_connected_to_issue_remove(Nodes) ->
       length(Nodes) > 3.
   
  +partition_debug(Line, Args) ->
  +    case ?PARTITION_DEBUG of
  +        true ->
  +            lager:info(Line, Args);
  +        false ->
  +            ok
  +    end.
  +
   initial_state_debug(Line, Args) ->
       case ?INITIAL_STATE_DEBUG of
           true ->
  
positive.code:                             false
                      end;
                  false ->
                      debug("request went to majority node, node: ~p response: ~p", [Node, Res]),
  
                      %% One partitioned node may make a quorum of 2 fail.
                      case is_involved_in_x_partitions(Node, 1, PartitionFilters) of
  
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) ->
  