anchor.diff:                                   end,
                                    equals(ok, Res)))
                   after
  -                    ok = gen_fsm:sync_send_all_state_event(Pid, stop)
  +                    stop_and_hold_until_unregistered(Pid, riak_cs_gc_manager)
                   end
               end).
   
  
positive.code: %% weight(feeding_workers, waiting_for_workers, _) -> 3;
  %% weight(_, _, _) -> 1.
  
  -endif.
  
negative.code:                                   equals(Interval, State2#gc_manager_state.interval)}
                                  ])
                  after
                      stop_and_hold_until_unregistered(Pid, riak_cs_gc_manager)
                  end
              end).
  
  