anchor.diff:              }
           ],
           handle_exception = #atm_step_mock_spec{
  -            after_step_exp_state_diff = fun(#atm_mock_call_ctx{workflow_execution_exp_state = ExpState0}) ->
  -                {true, expect_execution_stopping_while_processing_lane1(ExpState0, interrupt)}
  -            end
  +            after_step_exp_state_diff = [
  +                {lane_run, {1, 1}, stopping},
  +                workflow_stopping
  +            ]
           },
           handle_workflow_abruptly_stopped = #atm_step_mock_spec{
  -            after_step_exp_state_diff = fun(#atm_mock_call_ctx{workflow_execution_exp_state = ExpState0}) ->
  -                {true, atm_workflow_execution_exp_state_builder:expect_workflow_execution_interrupted(ExpState0)}
  -            end
  +            after_step_exp_state_diff = [workflow_interrupted]
           }
       },
       resume_atm_workflow_execution_suspended_while_scheduled_test_base(?FUNCTION_NAME, InterruptedIncarnation).
  
positive.code:                 selector = {1, 1},
                  prepare_lane = #atm_step_mock_spec{
                      before_step_hook = fun atm_workflow_execution_test_utils:pause_workflow_execution/1,
                      before_step_exp_state_diff = fun(#atm_mock_call_ctx{workflow_execution_exp_state = ExpState0}) ->
                          ExpState1 = atm_workflow_execution_exp_state_builder:expect_lane_run_stopping({1, 1}, ExpState0),
                          {true, atm_workflow_execution_exp_state_builder:expect_workflow_execution_stopping(ExpState1)}
                      end,
                      after_step_exp_state_diff = fun(#atm_mock_call_ctx{workflow_execution_exp_state = ExpState}) ->
                          {true, atm_workflow_execution_exp_state_builder:expect_lane_run_paused({1, 1}, ExpState)}
                      end
                  },
                  handle_lane_execution_stopped = #atm_step_mock_spec{
                      after_step_exp_state_diff = no_diff
                  }
              },
              #atm_lane_run_execution_test_spec{
                  selector = {2, 1},
  
negative.code:             }
          ],
          handle_workflow_execution_stopped = #atm_step_mock_spec{
              after_step_exp_state_diff = [workflow_paused]
          }
      },
      resume_atm_workflow_execution_suspended_while_scheduled_test_base(?FUNCTION_NAME, PausedIncarnation).
  