anchor.diff:  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);
  +    update_workflow_execution_exp_state(ExpStateCtx, #{
  +        <<"status">> => <<"crashed">>,
  +        <<"finishTime">> => build_timestamp_field_validator(?NOW())
  +    });
   
   expect(ExpStateCtx, Expectations) when is_list(Expectations) ->
       lists:foldl(fun(Expectation, ExpStateCtxAcc) ->
  
positive.code:     workflow_resuming |
      workflow_active |
      workflow_stopping |
      workflow_finished |
      workflow_failed |
      workflow_cancelled |
      workflow_paused |
      workflow_interrupted |
      workflow_crashed.
  
  -type log_fun() :: fun((binary(), [term()]) -> ok).
  
negative.code:     ctx().
  expect_all_tasks_cancelled(AtmLaneRunSelector, ExpStateCtx) ->
      expect_all_tasks_transitioned_to(AtmLaneRunSelector, <<"cancelled">>, ExpStateCtx).
  
  
  -spec expect_all_tasks_abruptly_stopped(atm_lane_execution:lane_run_selector(), binary(), ctx()) ->
  