anchor.diff:  -define(PERFORM_SUMMARY, false).
   
   -define(GROUP, paxoid).
  +-define(TIMEOUT, 10000).
   
   %%%===================================================================
   %%% Generators
  
positive.code:     % end, Results);
  
      true;
  node_postcondition(_NodeState, {call, ?MODULE, next_id, [_Node]}, {badrpc,timeout}) ->
      true;
  node_postcondition(#node_state{counter=Counter}, {call, ?MODULE, next_id, [_Node]}, Value) ->
      node_debug("postcondition received ~p from next_id when value should be: ~p", [Value, Counter]),
      Counter + 1 =:= Value;
  node_postcondition(_NodeState, Command, Response) ->
      node_debug("generic postcondition fired (this probably shouldn't be hit) for command: ~p with response: ~p", 
                 [Command, Response]),
  
negative.code: 
  %% Global functions.
  node_global_functions() ->
      [max_id, sleep].
  
  %% What should the initial node state be.
  node_initial_state() ->
  