anchor.diff:      ok.
   
   %% @private
  -classify_schedule(_N, Annotations, PrefixSchedule, _OmittedSchedule, ConditionalSchedule) ->
  +classify_schedule(_N, CausalityAnnotations, PrefixSchedule, _OmittedSchedule, ConditionalSchedule) ->
       DerivedSchedule = PrefixSchedule ++ ConditionalSchedule,
   
       Classification = lists:foldl(fun({Type, Preconditions}, Dict0) ->
  
positive.code:                         ok
                  end,
  
                  ClassifySchedule = classify_schedule(3, Annotations, PrefixMessageTypes, OmittedMessageTypes, ConditionalMessageTypes),
                  % io:format("Classification: ~p~n", [dict:to_list(ClassifySchedule)]),
  
                  case os:getenv("PRELOAD_SCHEDULES") of 
                      false ->
                          case GenIteration0 rem 10000 == 0 of 
                              true ->
                                  io:format(".", []);
  
negative.code:             io:format("Using difference types for powerset generation: ~p~n", [DifferenceTypes]),
  
              %% Use message trace.
              FilteredTraceLines = filter_trace_lines(TraceLines, BackgroundAnnotations),
  
              %% Generate powerset using *only* the new messages.
              FilteredDifferenceTraceLines = filter_trace_lines(DifferenceTraceLines, BackgroundAnnotations),
              {Time, L} = timer:tc(fun() -> powerset(FilteredDifferenceTraceLines) end),
  
              % io:format("FilteredDifferenceTraceLines: ~p~n", [FilteredDifferenceTraceLines]),
  