anchor.diff:      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),
  +    node_debug("sleeping 250ms...", []),
  +    timer:sleep(250),
   
       ?PROPERTY_MODULE:command_conclusion(Node, [next_id, Node]),
   
  
positive.code: -define(NAME, fun(Name) -> [{_, NodeName}] = ets:lookup(?ETS, Name), NodeName end).
  
  %% @private
  sleep() ->
      RunnerNode = node(),
  
      ?PROPERTY_MODULE:command_preamble(RunnerNode, [sleep]),
  
      timer:sleep(4000),
  
      ?PROPERTY_MODULE:command_conclusion(RunnerNode, [sleep]),
  
  
negative.code:     end;
  node_postcondition(_NodeState, {call, ?MODULE, set_fault, [_Node, _Value]}, ok) ->
      true;
  node_postcondition(_NodeState, {call, ?MODULE, wait, [_Node]}, _Result) ->
      true;
  node_postcondition(_NodeState, {call, ?MODULE, sleep, []}, _Result) ->
      true;
  node_postcondition(_NodeState, {call, ?MODULE, next_id, [_Node]}, {badrpc,timeout}) ->
  