anchor.diff:  
   %% Instrumentation related exports.
   -export([rep_link/1, rep_receive/1, rep_receive_notify/2,
  -	 rep_send/2, rep_spawn/1, rep_spawn_link/1, rep_yield/0,
  -	 wait/0]).
  +	 rep_send/2, rep_spawn/1, rep_spawn_link/1, rep_spawn_link/3,
  +	 rep_yield/0, wait/0]).
   
   -export_type([proc_action/0, analysis_target/0, analysis_ret/0]).
   
  
positive.code:     rep_yield(),
      Pid.
  
  %% Wait until the scheduler prompts to continue.
  -spec wait() -> 'true'.
  
  
negative.code: %% @spec rep_spawn_link(function()) -> pid()
  %% @doc: Replacement for `spawn_link/1'.
  %%
  %% When spawned, the new process has to yield.
  -spec rep_spawn_link(function()) -> pid().
  
  