anchor.diff:      expect_task_lane_run_transitioned_to_active_status_if_was_in_enqueued_status/2,
       expect_task_parallel_box_transitioned_to_inferred_status/3,
   
  -    expect_task_finished/2,
  -    expect_task_skipped/2,
       expect_task_failed/2,
  -    expect_task_interrupted/2,
  -    expect_task_paused/2,
  -    expect_task_cancelled/2,
  -    expect_all_tasks_pending/2,
  -    expect_all_tasks_active/2,
  -    expect_all_tasks_skipped/2,
  -    expect_all_tasks_paused/2,
       expect_all_tasks_interrupted/2,
       expect_all_tasks_cancelled/2,
  -    expect_all_tasks_failed/2,
  -    expect_all_tasks_abruptly_interrupted/2,
  -    expect_all_tasks_abruptly_cancelled/2,
       expect_all_tasks_abruptly_stopped/3,
       expect_all_tasks_stopping_due_to/3,
   
       expect_workflow_execution_scheduled/1,
  -    expect_workflow_execution_active/1,
       expect_workflow_execution_stopping/1,
  -    expect_workflow_execution_finished/1,
       expect_workflow_execution_failed/1,
       expect_workflow_execution_cancelled/1,
  -    expect_workflow_execution_crashed/1,
  -    expect_workflow_execution_paused/1,
  -    expect_workflow_execution_interrupted/1,
  -    expect_workflow_execution_resuming/1,
   
       assert_matches_with_backend/1,
       assert_matches_with_backend/2
  
positive.code: expect(ExpStateCtx, workflow_cancelled) ->
      expect_workflow_execution_cancelled(ExpStateCtx);
  
  expect(ExpStateCtx, workflow_paused) ->
      expect_workflow_execution_paused(ExpStateCtx);
  
  expect(ExpStateCtx, workflow_interrupted) ->
      expect_workflow_execution_interrupted(ExpStateCtx);
  
  expect(ExpStateCtx, workflow_crashed) ->
      expect_workflow_execution_crashed(ExpStateCtx);
  
  expect(ExpStateCtx, Expectations) when is_list(Expectations) ->
      lists:foldl(fun(Expectation, ExpStateCtxAcc) ->
  
negative.code:     update_exp_task_parallel_box_execution_state(AtmTaskExecutionId, Diff, ExpStateCtx).
  
  
  -spec expect_task_failed(atm_task_execution:id(), ctx()) ->
      ctx().
  expect_task_failed(AtmTaskExecutionId, ExpStateCtx) ->
      expect_task_transitioned_to(AtmTaskExecutionId, <<"failed">>, ExpStateCtx).
  
  
  -spec expect_all_tasks_interrupted(atm_lane_execution:lane_run_selector(), ctx()) ->
      ctx().
  expect_all_tasks_interrupted(AtmLaneRunSelector, ExpStateCtx) ->
  