anchor.diff:      dispatcher(Context);
   
   %% Yield message handler.
  -%% Receiving a `yield` message means that the process is preempted, but
  +%% Receiving a 'yield' message means that the process is preempted, but
   %% remains in the active set.
   handler(yield, Pid, #context{active = Active} = Context, _Misc) ->
  -    case lid:from_pid(Pid) of
  -        %% This case clause avoids a possible race between `yield` message
  -        %% of child and `spawn` message of parent.
  -        not_found ->
  -            ?RP_SCHED ! #sched{msg = yield, pid = Pid},
  -            dispatcher(Context);
  -        Lid ->
  -            ?debug_2("Process ~s yields.~n", [Lid]),
  -            NewActive = sets:add_element(Lid, Active),
  -            Context#context{active = NewActive}
  -    end.
  +    Lid = lid:from_pid(Pid),
  +    ?debug_2("Process ~s yields.~n", [lid:to_string(Lid)]),
  +    NewActive = sets:add_element(Lid, Active),
  +    Context#context{active = NewActive}.
   
   %%%----------------------------------------------------------------------
   %%% Helper functions
  
positive.code:     Ret = register(RegName, P),
      ?RP_SCHED ! #sched{msg = 'register', pid = self(),
                         misc = {RegName, lid:from_pid(P)}},
      rep_yield(),
      Ret.
  
  %% @spec rep_send(dest(), term()) -> term()
  
negative.code: 
  %% Run process Lid in context Context.
  run(Lid, #context{active = Active, state = State} = Context) ->
      ?debug_2("Running process ~s.~n", [lid:to_string(Lid)]),
      %% Remove process from the `active` set.
      NewActive = sets:del_element(Lid, Active),
      %% Create new state by adding this process.
  