anchor.diff:                      false ->
                           State
                   end,
  -            case TraceEntry#state.status of
  -                {delivered, Pid, _Ref, _Time} ->
  -                    %% send error, generate on_handler_done
  -                    gen_component:post_op({on_handler_done, TraceId, send_error, Pid}, State1);
  -                _  ->
  -                    %% not in state delivered, so probably the monitor
  -                    %% already cleaned up for the died process with
  -                    %% its 'DOWN' message.
  -                    State1
  -            end
  +            %% process not alive -> generate on_handler_done
  +            gen_component:post_op({on_handler_done, TraceId, send_error, Pid}, State1)
       end;
   
   on({register_callback, CallbackFun, OnX, TraceId, Client}, State) ->
  
positive.code:             comm:send_local(CallerPid, {cleanup_done}),
              State
      end;
  
  on({'DOWN', Ref, process, Pid, _Reason}, State) ->
      ?TRACE("proto_sched:on({'DOWN', ~p, process, ~p, ~p}).",
  
negative.code:     case lists:keyfind(TraceId, 1, State) of
          false -> State;
          {TraceId, TraceEntry} ->
              %% NOTE: if the monitor has hit before, its 'DOWN' message with
              %%       reason 'noproc' is ignored (see below) and we can assume
              %%       a delivered state
              {delivered, Pid, _Ref, _Time} = TraceEntry#state.status,
              %% enqueue a send_error message if a shepherd was used
              State1 =
                  case lists:keyfind(shepherd, 1, SendOptions) of
                      {shepherd, ShepherdPid} ->
  