anchor.diff:          end
       end, {0, 0, 0, []}, ?SCHEDULES),
   
  -    io:format("Passed: ~p, Failed: ~p, Pruned: ~p~n", [NumberPassed, NumberFailed, NumberPruned]),
  -
  -    %% Should we try to find witnesses?
  -    case os:getenv("FIND_WITNESSES") of 
  -        false ->
  -            ok;
  -        _Other ->
  -            identify_minimal_witnesses()
  -    end,
  -
  -    %% Test finished time.
  -    EndTime = os:timestamp(),
  -    Difference = timer:now_diff(EndTime, StartTime),
  -    DifferenceMs = Difference / 1000,
  -    DifferenceSec = DifferenceMs / 1000,
  -
  -    io:format("Test started: ~p~n", [StartTime]),
  -    io:format("Test ended: ~p~n", [EndTime]),
  -    io:format("Test took: ~p seconds.~n", [DifferenceSec]),
  -
  -    ok.
  +    io:format("Results: ~p, Failed: ~p, Pruned: ~p~n", [NumberPassed, NumberFailed, NumberPruned]),
  +
  +    analyze(PreloadOmissionFile, ReplayTraceFile, TraceFile, Causality, Annotations, RestTraceLines).
   
   %% @doc Generate the powerset of messages.
   powerset([]) -> 
  
positive.code:                 false ->
                      {FinalTrace0 ++ [Line], FaultsStarted0, AdditionalOmissions0, PrefixMessageTypes0, OmittedMessageTypes0, ConditionalMessageTypes0}
              end
          end, {[], false, [], [], [], []}, TraceLinesWithoutFailure),
  
          io:format("PrefixMessageTypes: ~p~n", [PrefixMessageTypes]),
          io:format("OmittedMessageTypes: ~p~n", [OmittedMessageTypes]),
  
negative.code:                                 %% 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}}),
  
  