anchor.diff:  
   %% FIXME: Refactor this (it's almost the same as 'spawn')
   handler(spawn_monitor, ParentLid,
  -	#context{active = Active, details = Det} = Context, {ChildPid, _Ref}) ->
  +		#context{active = Active, details = Det} = Context, {ChildPid, _Ref}) ->
       link(ChildPid),
       ChildLid = lid:new(ChildPid, ParentLid),
       log_details(Det, {spawn_monitor, ParentLid, ChildLid}),
  
positive.code:     %% Send message to "unblock" the process.
      continue(Lid),
      %% Dispatch incoming notifications to the appropriate handler.
      dispatch(Context#context{state = NewState}).
  
  %% Delegate notifications sent by instrumented client code to the appropriate
  %% handlers.
  dispatch(Context) ->
      receive
  	#sched{msg = Type, lid = Lid, misc = Misc} ->
  	    handler(Type, Lid, Context, Misc);
  	%% Ignore unknown processes.
  	{'EXIT', Pid, Reason} ->
  	    case lid:from_pid(Pid) of
  		not_found -> dispatch(Context);
  		Lid -> handler(exit, Lid, Context, Reason)
  	    end
      end.
  
  %%%----------------------------------------------------------------------
  
negative.code:     Self = self(),
      spawn_link(fun() -> interleave_aux(Target, Options, Self) end),
      receive
  		{interleave_result, Result} -> Result
      end.
  
  interleave_aux(Target, Options, Parent) ->
  