anchor.diff:                                   eqc:format("History: ~p~n~n", [H])
                                end,
                                equals(ok, Res)))
  -            end
  -           ).
  -
  +            end).
   
   prop_status() ->
       ?FORALL({Interval, Last, Next,
  
positive.code:     ?P(ActualState =:= idle andalso R =:= ok);
  postcondition(waiting_for_workers, feeding_workers, _S ,{call, _M, change_state, _}, R) ->
      {ActualState, _} = riak_cs_gc_d:current_state(),
      ?P(ActualState =:= waiting_file_delete andalso R =:= ok);
  
  %% `paused' state transitions
  postcondition({paused, _}, {paused, _}, _S ,{call, _M, manual_batch, _}, R) ->
  
negative.code: actual_state({State, _}) -> State;
  actual_state(S) -> S.
  
  weight(idle, fetching_next_batch, _) -> 10;
  weight(fetching_next_batch, feeding_workers, _) -> 5;
  weight(feeding_workers, waiting_for_workers, _) -> 3;
  weight(_, _, _) -> 1.
  
  %%====================================================================
  %% Helpers
  