anchor.diff:                      end
                   },
                   handle_workflow_abruptly_stopped = atm_workflow_crashed_after_step_mock_spec(),
  -                after_hook = fun atm_workflow_execution_test_runner:assert_ended_atm_workflow_execution_can_be_neither_stopped_nor_resumed/1
  +                after_hook = fun assert_no_action_possible_on_crashed_atm_workflow_execution/1
               }
           ]
       }).
  
positive.code:                 end
              },
              handle_workflow_abruptly_stopped = atm_workflow_crashed_after_step_mock_spec(),
              after_hook = fun atm_workflow_execution_test_runner:assert_ended_atm_workflow_execution_can_be_neither_stopped_nor_resumed/1
          }]
      }).
  
  
negative.code:                 after_step_exp_state_diff = no_diff
              },
              handle_workflow_abruptly_stopped = atm_workflow_crashed_after_step_mock_spec(),
              after_hook = fun assert_no_action_possible_on_crashed_atm_workflow_execution/1
          }]
      }).
  
  