anchor.diff:  
   %% Precondition.
   node_precondition(_NodeState, {call, ?MODULE, write, [_Node, _Key, _Value]}) ->
  +    true;
  +node_precondition(_NodeState, {call, ?MODULE, sleep, []}) ->
       true;
   node_precondition(#node_state{values=Values}, {call, ?MODULE, read, [_Node, Key]}) ->
       % node_debug("checking precondition for read operation on key: ~p with values: ~p", [Key, dict:to_list(Values)]),
  
positive.code: 
  -define(ETS, prop_partisan).
  -define(NAME, fun(Name) -> [{_, NodeName}] = ets:lookup(?ETS, Name), NodeName end).
  
  %% @private
  write(Node, Key, Value) ->
  
negative.code: 
  %% Global functions.
  node_global_functions() ->
      [sleep].
  
  %% What should the initial node state be.
  node_initial_state() ->
  