anchor.diff:                          ok
                   end,
   
  -                ClassifySchedule = classify_schedule(3, Annotations, PrefixMessageTypes, OmittedMessageTypes, ConditionalMessageTypes),
  +                ClassifySchedule = classify_schedule(3, CausalityAnnotations, PrefixMessageTypes, OmittedMessageTypes, ConditionalMessageTypes),
                   % io:format("Classification: ~p~n", [dict:to_list(ClassifySchedule)]),
   
  +                io:format("=> length(BackgroundOmissions): ~p~n", [length(BackgroundOmissions)]),
  +                io:format("=> length(lists:usort(BackgroundOmissions)): ~p~n", [length(lists:usort(BackgroundOmissions))]),
  +
                   case os:getenv("PRELOAD_SCHEDULES") of 
  -                    false ->
  +                    "true" ->
  +                        io:format("Inserting into generated schedule list.~n", []),
  +
  +                        %% Store generated schedule.
  +                        true = ets:insert(?SCHEDULES, {GenIteration0, {Omissions, FinalTraceLines, ClassifySchedule, ScheduleValid}}),
  +
  +                        {GenIteration0 + 1, GenNumPassed0, GenNumFailed0, GetNumPruned0, GenClassificationsExplored0, GenAdditionalTraces0};
  +                    _Other ->
                           case GenIteration0 rem 10000 == 0 of 
                               true ->
                                   io:format(".", []);
  
positive.code:     MessageTraceLines.
  
  %% @private
  analyze(_Pass, _PreloadOmissionFile, _ReplayTraceFile, _TraceFile, _Causality, _Annotations, _PreviousIteration, _PreviousClassificationsExplored, []) ->
      ok;
  
  analyze(Pass, PreloadOmissionFile, ReplayTraceFile, TraceFile, Causality, Annotations, PreviousIteration, PreviousClassificationsExplored, [{TraceLines, BaseOmissions, DifferenceTypes, DifferenceTraceLines}|RestTraceLines]) ->
      io:format("Beginning analyze pass: ~p with previous iteration: ~p, traces remaining: ~p~n", [Pass, PreviousIteration, length(RestTraceLines)]),
  
      %% Generate the powerset of tracelines.
  
negative.code:             {FilteredTraceLines, FinalPowerset};
          false ->
              %% Generate all.
              FilteredTraceLines = filter_trace_lines(TraceLines, BackgroundAnnotations),
              io:format("Beginning powerset generation, length(FilteredTraceLines): ~p~n", [length(FilteredTraceLines)]),
              {Time, L} = timer:tc(fun() -> powerset(FilteredTraceLines) end),
              io:format("Number of message sets in powerset: ~p~n", [length(L)]),
  