anchor.diff:      end, TraceLines).
   
   %% @privae
  -execute_schedule(Nodes, Counterexample, PreloadOmissionFile, ReplayTraceFile, TraceFile, TraceLines, {Iteration, {Omissions, FinalTraceLines, ClassifySchedule, ScheduleValid}}, ClassificationsExplored0, NewTraces0) ->
  +execute_schedule(StartTime, Nodes, Counterexample, PreloadOmissionFile, ReplayTraceFile, TraceFile, TraceLines, {Iteration, {Omissions, FinalTraceLines, ClassifySchedule, ScheduleValid}}, ClassificationsExplored0, NewTraces0) ->
       Classification = dict:to_list(ClassifySchedule),
   
       case ScheduleValid of 
  
positive.code:                                 false ->
                                      ok;
                                  "true" ->
                                      exit({error, counterexample_found});
                                  _Other ->
                                      ok
  
negative.code:     MessageTraceLines.
  
  %% @private
  analyze(_StartTime, _Nodes, _Counterexample, _Pass, _NumPassed0, _NumFailed0, _NumPruned0, _PreloadOmissionFile, _ReplayTraceFile, _TraceFile, _Causality, _CausalityAnnotations, _BackgroundAnnotations, _PreviousIteration, _PreviousClassificationsExplored, []) ->
      ok;
  
  analyze(StartTime, Nodes, Counterexample, Pass, NumPassed0, NumFailed0, NumPruned0, PreloadOmissionFile, ReplayTraceFile, TraceFile, Causality, CausalityAnnotations, BackgroundAnnotations, PreviousIteration, PreviousClassificationsExplored, [{TraceLines, BaseOmissions, DifferenceTypes, DifferenceTraceLines}|RestTraceLines]) ->
      debug("Beginning analyze pass: ~p with previous iteration: ~p, traces remaining: ~p~n", [Pass, PreviousIteration, length(RestTraceLines)]),
  
      %% Generate the powerset of tracelines.
  