anchor.diff:              }
           }
       end,
  +
       ResumedLaneRunBaseTestSpec = BuildAtmLaneRunTestSpecFun({1, 1}, [2, 4, 6], false),
   
       atm_workflow_execution_test_runner:run(#atm_workflow_execution_test_spec{
  
positive.code:                                 workflow_execution_exp_state = ExpState0,
                                  call_args = [_AtmWorkflowExecutionId, _AtmWorkflowExecutionEnv, AtmTaskExecutionId]
                              }) ->
                                  ExpTaskStats = case atm_workflow_execution_exp_state_builder:get_task_selector(
                                      AtmTaskExecutionId, ExpState0
                                  ) of
                                      {_, _, <<"task1">>} -> {0, 0, 6};  %% TODO check stats after resume
                                      _ -> {0, 1, 3}
                                  end,
                                  ?assertEqual(
                                      ExpTaskStats,
                                      atm_workflow_execution_exp_state_builder:get_task_stats(AtmTaskExecutionId, ExpState0)
                                  ),
                                  {true, expect_execution_stopping_while_processing_lane1(ExpState0, pause)}
                              end,
                              after_step_exp_state_diff = fun(#atm_mock_call_ctx{
  
negative.code:         end
      },
  
      AssertExpTaskStatsFun = fun(AtmTaskExecutionId, ExpTask1Stats, ExpTask2Stats, ExpState0) ->
          ExpTaskStats = case atm_workflow_execution_exp_state_builder:get_task_selector(
              AtmTaskExecutionId, ExpState0
          ) of
              {_, _, <<"task1">>} -> ExpTask1Stats;
              _ -> ExpTask2Stats
          end,
          ?assertEqual(ExpTaskStats, atm_workflow_execution_exp_state_builder:get_task_stats(
              AtmTaskExecutionId, ExpState0
          ))
      end,
  
      BuildAtmLaneRunTestSpecFun = fun(AtmLaneRunSelector, ExpExceptionStoreContent, IsLastExpLaneRun) ->
          #atm_lane_run_execution_test_spec{
              selector = AtmLaneRunSelector,
  