anchor.diff:  -export([
       pause_scheduled_atm_workflow_execution/0,
   
  -    pause_finishing_atm_workflow_execution/0
  +    pause_finishing_atm_workflow_execution/0,
  +    pause_finished_atm_workflow_execution/0
   ]).
   
   
  
positive.code:     }).
  
  
  %%%===================================================================
  %%% Internal functions
  %%%===================================================================
  
negative.code:     lists:foldl(fun(AtmLaneRunSelector, ExpStateAcc) ->
          atm_workflow_execution_exp_state_builder:expect_lane_run_rerunable(AtmLaneRunSelector, ExpStateAcc)
      end, ExpState, AtmLaneRunSelectors).
  
  
  %% @private
  assert_ended_atm_workflow_execution_can_not_be_paused(AtmMockCallCtx = #atm_mock_call_ctx{
      workflow_execution_exp_state = ExpState0
  }) ->
      ?assertThrow(
          ?ERROR_ATM_WORKFLOW_EXECUTION_ENDED,
          atm_workflow_execution_test_runner:pause_workflow_execution(AtmMockCallCtx)
      ),
      ?assert(atm_workflow_execution_exp_state_builder:assert_matches_with_backend(ExpState0, 0)).
  