anchor.diff:          dpor_flavor = Dpor, preemption_bound = PreBound,
           show_output = ShowOutput, group_leader = GroupLeader},
       Result = explore(NewState),
  +    %% fprof:trace(stop),
       unregister(?RP_SCHED),
       Parent ! {interleave_result, Result}.
   
  
positive.code: 
  recent_dependency_cv(Transition, ClockVector, Trace) ->
      Fun =
          fun(#trace_state{
              last = {Lid, _, _} = Transition2,
              clock_map = CM}, CVAcc) ->
                  case concuerror_deps:dependent(Transition, Transition2) of
                      true ->
                          CV = lookup_clock(Lid, CM),
                          max_cv(CVAcc, CV);
  
negative.code: %% =============================================================================
  
  scheduler_main(Target, PreBound, Parent, Dpor, Options) ->
      %% fprof:trace(start),
      ?debug("Scheduler spawned"),
      register(?RP_SCHED, self()),
      Procs = processes(),
  