anchor.diff:                                  %% This passed.
                                   io:format("Test passed.~n", []),
   
  -                                {ok, NewTraceLines} = file:consult(TraceFile),
  -                                io:format("=> Executed test and test contained ~p lines compared to original trace with ~p lines.~n", [length(hd(NewTraceLines)), length(TraceLines)]),
  -
                                   %% Insert result into the ETS table.
                                   true = ets:insert(?RESULTS, {Iteration, {Iteration, FinalTraceLines, Omissions, true}}),
   
  -                                {NumPassed + 1, NumFailed, NumPruned, ClassificationsExplored0 ++ [Classification]};
  +                                {NumPassed + 1, NumFailed, NumPruned, ClassificationsExplored0 ++ [Classification], NewTraces};
                               _ ->
                                   %% This failed.
                                   io:format("Test FAILED!~n", []),
  
positive.code: 
          %% Bump iteration.
          Iteration + 1
      end, 1, TracesToIterate),
  
      %% Run schedules.
      {NumberPassed, NumberFailed, NumberPruned, _} = ets:foldl(fun({Iteration, {Omissions, FinalTraceLines, ClassifySchedule, ScheduleValid}}, {NumPassed, NumFailed, NumPruned, ClassificationsExplored0}) ->
          Classification = dict:to_list(ClassifySchedule),
  
          case ScheduleValid of 
              false ->
                  {NumPassed, NumFailed, NumPruned + 1, ClassificationsExplored0};
              true ->
                  case lists:member(Classification, ClassificationsExplored0) of 
                      true ->
                          {NumPassed, NumFailed, NumPruned + 1, ClassificationsExplored0};
                      false ->
                          %% Write out a new omission file from the previously used trace.
                          io:format("Writing out new preload omissions file!~n", []),
  
negative.code: 
      case RequirementsMet of 
          true ->
              % io:format("Causality verified.~n", []),
              ok;
          false ->
              % io:format("Schedule does not represent a valid schedule!~n", []),
              ok
      end,
  
      RequirementsMet.
  