anchor.diff:  
   -spec stop_service() -> ok.
   stop_service() ->
  -    ok = supervisor:terminate_child(?FSLOGIC_WORKER_SUP, ?MODULE).
  +    ok = supervisor:terminate_child(?FSLOGIC_WORKER_SUP, ?MODULE),
  +    ok = supervisor:delete_child(?FSLOGIC_WORKER_SUP, ?MODULE).
   
   
   %%%===================================================================
  
positive.code: 
  -spec get_openfaas_status() -> status().
  get_openfaas_status() ->
      case atm_openfaas_status_cache:get(?SERVICE_NAME) of
          {ok, #document{value = #atm_openfaas_status_cache{status = Status}}} ->
              Status;
          {error, not_found} ->
  
negative.code: %% Handles all non call/cast messages
  %% @end
  %%--------------------------------------------------------------------
  -spec handle_continue(Continue :: term(), undefined) ->
      {noreply, NewState :: state(), non_neg_integer()}.
  handle_continue(create_state_outside_of_init_to_not_block_op_start_for_few_milliseconds, undefined) ->
      State = case get_openfaas_status() of
          healthy ->
              #state{status = healthy, running_smoothness = good};
          NotHealthyStatus ->
              report_openfaas_down_to_atm_workflow_execution_layer(NotHealthyStatus),
              #state{status = NotHealthyStatus, running_smoothness = disrupted}
      end,
      atm_openfaas_status_cache:save(?SERVICE_ID(), State#state.status),
  
      {noreply, State, timer:seconds(?STATUS_CHECK_INTERVAL_SECONDS)}.
  
  
  %%--------------------------------------------------------------------
  %% @private
  %% @doc
  %% Handles all non call/cast messages
  %% @end
  %%--------------------------------------------------------------------
  -spec handle_info(Info :: term(), state()) ->
      {noreply, NewState :: state(), non_neg_integer()}.
  handle_info(timeout, State = #state{status = CurrentStatus}) ->
      NewStatus = check_openfaas_status(),
      NewStatus /= CurrentStatus andalso atm_openfaas_status_cache:save(?SERVICE_ID(), NewStatus),
  
      {noreply, handle_status_update(NewStatus, State), timer:seconds(?STATUS_CHECK_INTERVAL_SECONDS)};
  
  