anchor.diff:  postcondition(_From, initiating_file_delete, #mc_state{current_state=initiating_file_delete} ,{call, _M, manual_batch, _}, R) ->
       {ActualState, _} = riak_cs_gc_d:current_state(),
       ?P(ActualState =:= initiating_file_delete andalso R =:= {error, already_deleting});
  -postcondition(initiating_file_delete, paused, _S ,{call, _M, pause, _}, R) ->
  +postcondition(initiating_file_delete, {paused, _}, _S ,{call, _M, pause, _}, R) ->
       {ActualState, _} = riak_cs_gc_d:current_state(),
       ?P(ActualState =:= paused andalso R =:= ok);
   postcondition(initiating_file_delete, idle, _S ,{call, _M, cancel_batch, _}, R) ->
  
positive.code:     {ActualState, _} = riak_cs_gc_d:current_state(),
      ?P(ActualState =:= initiating_file_delete andalso R =:= ok);
  %% `paused' transitions
  postcondition(paused, paused, _S ,{call, _M, cancel_batch, _}, R) ->
      {ActualState, _} = riak_cs_gc_d:current_state(),
      ?P(ActualState =:= paused andalso R =:= ok);
  postcondition(paused, paused, _S ,{call, _M, pause, _}, R) ->
      {ActualState, _} = riak_cs_gc_d:current_state(),
      ?P(ActualState =:= paused andalso R =:= {error, already_paused});
  postcondition(paused, PrevState, #mc_state{previous_state=PrevState} ,{call, _M, resume, _}, R) ->
      {ActualState, _} = riak_cs_gc_d:current_state(),
      ?P(ActualState =:= PrevState andalso R =:= ok);
  %% General handling of `resume' calls when the `From' state
  
negative.code:      {history, {call, ?GCD_MODULE, resume, []}},
       {history, {call, ?GCD_MODULE, set_interval, [infinity]}},
       {idle, {call, ?GCD_MODULE, cancel_batch, []}},
       {{paused, fetching_next_fileset}, {call, ?GCD_MODULE, pause, []}},
       {initiating_file_delete, {call, ?GCD_MODULE, change_state, [initiating_file_delete]}}
      ].
  
  