anchor.diff:  %%% Helper Functions
   %%%===================================================================
   
  +%% @private
   write(Node, Key, Value) ->
       case rpc:call(?NAME(Node), ?PB_MODULE, write, [Key, Value]) of 
           {badrpc, {'EXIT', Error}} ->
  
positive.code: node_postcondition(_State, {call, ?MODULE, write, [Node, Key, Value]}, ok) ->
      node_debug("node ~p: writing key ~p with value ~p", [Node, Key, Value]),
      true;
  node_postcondition(_State, {call, ?MODULE, write, [Node, Key, Value]}, {timeout, _Call}) ->
      node_debug("node ~p: timeout while writing key ~p with value ~p", [Node, Key, Value]),
      false;
  node_postcondition(#state{store=Store}=_State, {call, ?MODULE, read, [Node, Key]}, {ok, Value}) ->
      case dict:find(Key, Store) of 
          {ok, Value} ->
  
negative.code:             Other
      end.
  
  %% @private
  read(Node, Key) ->
      rpc:call(?NAME(Node), ?PB_MODULE, read, [Key]).
  
  %% @private
  node_debug(Line, Args) ->
      case ?NODE_DEBUG of
          true ->
  