anchor.diff:  -define(WAITING_FOR_NEXT_LANE_PREPARATION_END(HasExceptionAppeared), #execution_cancelled{
       execution_step = waiting_on_next_lane_prepare, call_count = 0, has_exception_appeared = HasExceptionAppeared}).
   -define(EXECUTION_ENDED_AFTER_CANCEL(HasExceptionAppeared, ProgressDataPersistence), #execution_cancelled{
  -    execution_step = finishing_execution, call_count = 0,
  +    execution_step = finishing_execution, call_count = 0, callbacks_to_execute = [],
       has_exception_appeared = HasExceptionAppeared, expected_progress_data_persistence = ProgressDataPersistence}).
   
   
  
positive.code:     ok.
  
  
  -spec handle_lane_preparation_failure(state(), workflow_engine:lane_id() | undefined,
      workflow_engine:preparation_mode()) -> {ok, state()} | ?WF_ERROR_UNKNOWN_LANE.
  handle_lane_preparation_failure(
  
negative.code:         ?WF_ERROR_PREPARATION_FAILED -> ok
      end;
  report_lane_execution_prepared(Handler, ExecutionId, LaneId, ?PREPARE_IN_ADVANCE, prepare, {ok, LaneSpec} = Ans) ->
      case update(ExecutionId, fun(State) ->
          finish_lane_preparation_in_advance(reset_state_fields_for_next_lane(State), LaneId, LaneSpec)
      end) of
          {ok, _} -> ok;
          ?WF_ERROR_UNKNOWN_LANE -> ok;
          ?WF_ERROR_CURRENT_LANE -> report_lane_execution_prepared(Handler, ExecutionId, LaneId, ?PREPARE_CURRENT, prepare, Ans)
      end;
  report_lane_execution_prepared(_Handler, ExecutionId, LaneId, LaneType, _, error) ->
      case update(ExecutionId, fun(State) ->
          handle_lane_preparation_failure(reset_state_fields_for_next_lane(State), LaneId, LaneType)
      end) of
          {ok, _} -> ok;
          ?WF_ERROR_UNKNOWN_LANE -> ok
      end.
  