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