anchor.diff:  
   -define(ETS, prop_partisan).
   -define(NAME, fun(Name) -> [{_, NodeName}] = ets:lookup(?ETS, Name), NodeName end).
  +
  +%% @private
  +sleep() ->
  +    RunnerNode = node(),
  +
  +    ?PROPERTY_MODULE:command_preamble(RunnerNode, [sleep]),
  +
  +    node_debug("sleeping for convergence...", []),
  +    timer:sleep(40000),
  +
  +    ?PROPERTY_MODULE:command_conclusion(RunnerNode, [sleep]),
  +
  +    ok.
   
   %% @private
   write(Node, Key, Value) ->
  
positive.code:     NodeState#node_state{values=Values};
  node_next_state(_State, NodeState, _Response, {call, ?MODULE, read, [_Node, _Key]}) ->
      NodeState;
  node_next_state(_State, NodeState, Response, Command) ->
      node_debug("generic next_state called (this probably shouldn't be hit), command: ~p response: ~p", [Command, Response]),
      NodeState.
  
negative.code:         _ ->
              false
      end;
  node_postcondition(_NodeState, {call, ?MODULE, sleep, []}, _Result) ->
      true;
  node_postcondition(_NodeState, {call, ?MODULE, write, [_Node, _Key, _Value]}, {ok, _}) ->
      true;
  node_postcondition(_NodeState, Command, Response) ->
  