anchor.diff:          end
       end, {GenNumPassed, GenNumFailed, GenNumPruned, GenClassificationsExplored, GenAdditionalTraces}, ?SCHEDULES),
   
  +    io:format("~n", []),
       io:format("Pass: ~p, Iterations: ~p - ~p, Results: ~p, Failed: ~p, Pruned: ~p~n", [Pass, PreviousIteration, GenIteration, PreloadNumPassed, PreloadNumFailed, PreloadNumPruned]),
   
       %% Should we explore any new schedules we have discovered?
       case os:getenv("RECURSIVE") of 
  -        false ->
  -            analyze(Pass + 1, PreloadOmissionFile, ReplayTraceFile, TraceFile, Causality, Annotations, GenIteration, PreloadClassificationsExplored, RestTraceLines);
  -        "false" ->
  -            analyze(Pass + 1, PreloadOmissionFile, ReplayTraceFile, TraceFile, Causality, Annotations, GenIteration, PreloadClassificationsExplored, RestTraceLines);
  -        _Other ->
  -            analyze(Pass + 1, PreloadOmissionFile, ReplayTraceFile, TraceFile, Causality, Annotations, GenIteration, PreloadClassificationsExplored, PreloadAdditionalTraces)
  +        "true" ->
  +            analyze(Pass + 1, PreloadOmissionFile, ReplayTraceFile, TraceFile, Causality, Annotations, 1, [], PreloadAdditionalTraces);
  +        _ ->
  +            analyze(Pass + 1, PreloadOmissionFile, ReplayTraceFile, TraceFile, Causality, Annotations, GenIteration, PreloadClassificationsExplored, RestTraceLines)
       end.
   
   %% @doc Generate the powerset of messages.
  
positive.code:                     % io:format("=> MessageTypesFromTraceLines: ~p~n", [MessageTypesFromTraceLines]),
                      MessageTypesFromNewTraceLines = message_types(hd(NewTraceLines)),
                      % io:format("=> MessageTypesFromNewTraceLines: ~p~n", [MessageTypesFromNewTraceLines]),
  
                      Difference = lists:usort(MessageTypesFromNewTraceLines) -- lists:usort(MessageTypesFromTraceLines),
                      io:format("=> Difference: ~p~n", [Difference]),
  
                      NewTraces = case length(Difference) > 0 of
                          true ->
                              io:format("=> * Adding trace to list to explore.~n", []),
  
                              case lists:keymember(Difference, 3, NewTraces0) of 
                                  true ->
                                      io:format("=> * Similar trace already exists, ignoring!~n", []),
                                      NewTraces0;
                                  false ->
                                      NewTraces0 ++ [{hd(NewTraceLines), Omissions, Difference}]
                              end;
                          false ->
                              NewTraces0
  
negative.code:     %% Perform recursive analysis of the traces.
      PreviousIteration = 1,
      PreviousClassificationsExplored = [],
      analyze(1, PreloadOmissionFile, ReplayTraceFile, TraceFile, Causality, Annotations, PreviousIteration, PreviousClassificationsExplored, [{TraceLinesWithoutFailure, [], [], []}]),
  
      %% Should we try to find witnesses?
      case os:getenv("FIND_WITNESSES") of 
  