anchor.diff:      Ret.
   
   %% Produce all possible process interleavings of (Mod, Fun, Args).
  -interleave(Target, PreBound, Dpor, Options) ->
  +do_analysis(Target, PreBound, Dpor, Options) ->
       Self = self(),
  -    Fun = fun() -> interleave_aux(Target, PreBound, Self, Dpor, Options) end,
  +    Fun = fun() -> scheduler_main(Target, PreBound, Self, Dpor, Options) end,
       process_flag(trap_exit, true),
       Backend = spawn_link(Fun),
       receive
  
positive.code:                 catch unregister(net_sup),
                  %% Run all possible interleavings
                  {T1, _} = statistics(wall_clock),
                  Result = interleave(NewTarget, PreBound, Dpor, Options),
                  {T2, _} = statistics(wall_clock),
                  {Mins, Secs} = concuerror_util:to_elapsed_time(T1, T2),
                  ?debug("Done in ~wm~.2fs\n", [Mins, Secs]),
  
negative.code:                 end
          end,
      dict:map(Map, Nexts).
  
  %%%----------------------------------------------------------------------
  %%% Helper functions
  