anchor.diff:  -define(NAME, fun(Name) -> [{_, NodeName}] = ets:lookup(?ETS, Name), NodeName end).
   
   %% @private
  +wait(Node) ->
  +    ?PROPERTY_MODULE:command_preamble(Node, [wait]),
  +
  +    timer:sleep(2000),
  +
  +    ?PROPERTY_MODULE:command_conclusion(Node, [wait]),
  +
  +    ok.
  +
  +%% @private
   sleep() ->
       RunnerNode = node(),
   
       ?PROPERTY_MODULE:command_preamble(RunnerNode, [sleep]),
   
  -    timer:sleep(4000),
  +    timer:sleep(30000),
   
       ?PROPERTY_MODULE:command_conclusion(RunnerNode, [sleep]),
   
  
positive.code:     Result = rpc:call(?NAME(Node), paxoid, next_id, [?GROUP], ?TIMEOUT),
      node_debug("next_id for node: ~p yieleded: ~p", [node(), Result]),
  
      node_debug("sleeping...", []),
      timer:sleep(2000),
  
      ?PROPERTY_MODULE:command_conclusion(Node, [next_id, Node]),
  
  
negative.code:     [
      %  {call, ?MODULE, set_fault, [node_name(), boolean()]},
       {call, ?MODULE, next_id, [node_name()]},
       {call, ?MODULE, wait, [node_name()]},
       {call, ?MODULE, sleep, []}
      ].
  
  