anchor.diff:  
           %% Bump iteration.
           Iteration + 1
  -    end, 1, TracesToIterate),
  +    end, PreviousIteration, TracesToIterate),
   
       %% Run schedules.
  -    {NumberPassed, NumberFailed, NumberPruned, _} = ets:foldl(fun({Iteration, {Omissions, FinalTraceLines, ClassifySchedule, ScheduleValid}}, {NumPassed, NumFailed, NumPruned, ClassificationsExplored0}) ->
  +    {NumberPassed, NumberFailed, NumberPruned, _NewClassificationsExplored, AdditionalTraces} = ets:foldl(fun({Iteration, {Omissions, FinalTraceLines, ClassifySchedule, ScheduleValid}}, {NumPassed, NumFailed, NumPruned, ClassificationsExplored0, NewTraces0}) ->
           Classification = dict:to_list(ClassifySchedule),
   
           case ScheduleValid of 
               false ->
  -                {NumPassed, NumFailed, NumPruned + 1, ClassificationsExplored0};
  +                {NumPassed, NumFailed, NumPruned + 1, ClassificationsExplored0, NewTraces0};
               true ->
                   case lists:member(Classification, ClassificationsExplored0) of 
                       true ->
  -                        {NumPassed, NumFailed, NumPruned + 1, ClassificationsExplored0};
  +                        {NumPassed, NumFailed, NumPruned + 1, ClassificationsExplored0, NewTraces0};
                       false ->
                           %% Write out a new omission file from the previously used trace.
                           io:format("Writing out new preload omissions file!~n", []),
  
positive.code: 
      case RequirementsMet of 
          true ->
              io:format("Causality verified.~n", []);
          false ->
              io:format("Schedule does not represent a valid schedule!~n", [])
      end,
  
      RequirementsMet.
  
negative.code:     DerivedSchedule = PrefixSchedule ++ ConditionalSchedule,
  
      RequirementsMet = lists:foldl(fun(Type, Acc) ->
          % io:format("=> Type: ~p~n", [Type]),
  
          All = lists:foldl(fun({K, V}, Acc1) ->
              case lists:member(Type, V) of 
                  true ->
                      % io:format("=> Requires delivery of ~p~n", [K]),
  
                      case lists:member(K, DerivedSchedule) of 
                          true ->
                              % io:format("=> Present!~n", []),
                              true andalso Acc1;
                          false ->
                              % io:format("=> NOT Present!~n", []),
                              false andalso Acc1
                      end;
                  false ->
  