anchor.diff:      ?debug_1("Done in ~wm~.2fs\n", [Mins, Secs]),
       {Mins, Secs}.
   
  -%% Run process Lid in context Info.
  -run(Lid, #info{active = Active, state = State} = Info) ->
  +%% Run process Lid in context Context.
  +run(Lid, #context{active = Active, state = State} = Context) ->
       ?debug_2("Running process ~s.~n", [Lid]),
       %% Remove process from the `active` set.
       NewActive = sets:del_element(Lid, Active),
  
positive.code: %% possible next states, chooses one of them for running and inserts the rest
  %% of them into the `states` table.
  %% Returns the process to be run next.
  search(#info{active = Active, state = State}) ->
      %% Remove a process to be run next from the `actives` set.
      [Next|NewActive] = sets:to_list(Active),
      %% Store all other possible successor states for later exploration.
  
negative.code: 	true -> replay_logger:log({send, Lid, DstLid, Msg});
  	false -> continue
      end,
      NewContext = wakeup(DstLid, Context),
      dispatcher(NewContext);
  
  %% 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, ParentPid, #context{details = Det} = Context, ChildPid) ->
      link(ChildPid),
      ParentLid = lid:from_pid(ParentPid),
      ChildLid = lid:new(ChildPid, ParentLid),
  