anchor.diff:                              end
                           }
                       },
  -                    BuildAtmLaneRunTestSpecFun({1, 2}, {0, 0, 3}, {0, 3, 3}, [2, 4, 6], false),
  -                    BuildAtmLaneRunTestSpecFun({1, 3}, {0, 0, 3}, {0, 3, 3}, [2, 4, 6], true),
  +                    build_failed_atm_lane1_run_execution_test_spec({1, 2}, {0, 0, 3}, {0, 3, 3}, [2, 4, 6], false),
  +                    build_failed_atm_lane1_run_execution_test_spec({1, 3}, {0, 0, 3}, {0, 3, 3}, [2, 4, 6], true),
   
                       #atm_lane_run_execution_test_spec{
                           selector = {2, 3},
  
positive.code: %%%===================================================================
  
  
  %% @private
  expect_execution_stopping_while_processing_lane1(ExpState0, Reason) ->
      ExpState1 = atm_workflow_execution_exp_state_builder:expect_all_tasks_stopping({1, 1}, Reason, ExpState0),
  
negative.code: 
  
  resume_atm_workflow_execution_paused_while_active() ->
      ResumedLaneRunBaseTestSpec = build_failed_atm_lane1_run_execution_test_spec(
          {1, 1}, {0, 0, 6}, {0, 3, 6}, [2, 4, 6], false
      ),
  
      atm_workflow_execution_test_runner:run(#atm_workflow_execution_test_spec{
          provider = ?PROVIDER_SELECTOR,
  