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: 
  %% Precondition.
  node_precondition(_NodeState, {call, ?MODULE, sleep, []}) ->
      true;
  node_precondition(_NodeState, {call, ?MODULE, set_fault, [_Node, _Value]}) ->
      true;
  
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}) ->
  