anchor.diff:  
   prop_set_interval() ->
       ?FORALL(Interval, int(),
  -            begin
  -                case whereis(riak_cs_gc_d) of
  -                    undefined ->
  -                        {ok, _} = riak_cs_gc_d:test_link();
  -                    _Pid ->
  -                        riak_cs_gc_d:set_interval(?DEFAULT_GC_INTERVAL)
  -                end,
  +            catch begin
  +                catch riak_cs_gc_d:stop(),
  +                {ok, _} = riak_cs_gc_d:test_link(?DEFAULT_GC_INTERVAL),
                   {_, State1} = riak_cs_gc_d:current_state(),
                   riak_cs_gc_d:set_interval(Interval),
                   {_, State2} = riak_cs_gc_d:current_state(),
  
positive.code:          fetching_next_fileset/1,
           initiating_file_delete/1,
           waiting_file_delete/1,
           paused/1]).
  
  %% eqc_fsm callbacks
  -export([initial_state/0,
  
negative.code: -export([test/0,
           test/1]).
  
  -compile(export_all).
  
  -define(QC_OUT(P),
          eqc:on_output(fun(Str, Args) ->
                                io:format(user, Str, Args) end, P)).
  
  -define(TEST_ITERATIONS, 500).
  -define(GCD_MODULE, riak_cs_gc_d).
  
  