anchor.diff:  	false -> continue
       end.
   
  -%% Run process Lid in context Context.
  -run(#context{current = Lid, state = State} = Context) ->
  -    ?debug_2("Running process ~s.~n", [lid:to_string(Lid)]),
  -    %% Create new state by adding this process.
  -    NewState = state:extend(State, Lid),
  -    %% Send message to "unblock" the process.
  -    continue(Lid),
  -    %% Call the dispatcher to handle incoming actions from the process
  -    %% we just "unblocked".
  -    dispatcher(Context#context{state = NewState}).
  -
   %% Remove and return a state.
   %% If no states available, return 'no_state'.
   state_load() ->
  
positive.code:     log_details(Det, {'receive_no_instr', Lid, Msg}),
      Context;
  
  %% Register message handler.
  handler(register, Lid, #context{details = Det} = Context, {RegName, RegLid}) ->
      log_details(Det, {register, Lid, RegName, RegLid}),
      Context;
  
  %% Send message handler.
  handler(send, Lid, #context{details = Det} = Context, {DstPid, Msg}) ->
      DstLid = lid:from_pid(DstPid),
      log_details(Det, {send, Lid, DstLid, Msg}),
      Context;
  
  %% Spawn message handler.
  %% First, link the newly spawned process to the scheduler process.
  %% The new process yields as soon as it gets spawned and the parent process
  %% yields as soon as it spawns. Therefore wait for two `yield` messages using
  %% two calls to the dispatcher.
  handler(spawn, ParentLid,
  	#context{active = Active, details = Det} = Context, ChildPid) ->
      link(ChildPid),
  
negative.code:     NewActive = ?SETS:add_element(ChildLid, Active),
      Context#context{active = NewActive};
  
  %% FIXME: Refactor this (it's almost the same as 'spawn')
  handler(spawn_monitor, ParentLid,
  	#context{active = Active, details = Det} = Context, {ChildPid, _Ref}) ->
      link(ChildPid),
  