anchor.diff:  fixture() ->
       SM = wallaroo_store_ets,
       EmptySHA = store(empty(), SM),
  -    FirstSHA = store(new([EmptySHA], bogus, [], []), SM),
  +    FirstSHA = store(new([EmptySHA], first, [], []), SM),
  +    SecondSHA = store(new([EmptySHA], second, [], []), SM),
  +    ThirdSHA = store(new([SecondSHA], third, [], []), SM),
  +    FourthSHA = store(new([FirstSHA, SecondSHA], fourth, [], []), SM),
  +    FifthSHA = store(new([FirstSHA, SecondSHA, EmptySHA], fifth, [], []), SM),
       SM:store_object(es, EmptySHA), 
  -    SM:store_object(fs, FirstSHA).
  +    SM:store_object(fis, FirstSHA),
  +    SM:store_object(ss, SecondSHA),
  +    SM:store_object(ts, ThirdSHA),
  +    SM:store_object(fos, FourthSHA),
  +    SM:store_object(ffs, FifthSHA).
   
   basic_test_() ->
       {inorder,
  
positive.code:       fun() -> test_setup(), fixture() end,
        fun(_) -> ok end,
        [?_assertEqual(1, length(reachable(wallaroo_store_ets:find_object(es), wallaroo_store_ets, as_list))),
         ?_assertEqual(2, length(reachable(wallaroo_store_ets:find_object(fs), wallaroo_store_ets, as_list)))]}}.
  	     
  	      
  -endif.
  
negative.code:     reachable_helper([From], StoreMod, gb_sets:empty()).
  
  reachable_helper([], _, Visited) ->
      Visited;
  reachable_helper([Hash|Hs], StoreMod, Visited) ->
      case gb_sets:is_member(Hash, Visited) of 
  	true ->
  	    reachable_helper(Hs, StoreMod, Visited);
  