anchor.diff:                      ok = file:close(TraceIo),
   
                       ClassificationsExplored = ClassificationsExplored0 ++ [Classification],
  -                    io:format("=> Classification for this test: ~p~n", [Classification]),
  -
  -                    MessageTypes = message_types(TraceLines),
  -                    io:format("=> MessageTypes for this test: ~p~n", [MessageTypes]),
  +                    % io:format("=> Classification for this test: ~p~n", [Classification]),
  +
  +                    MessageTypes = message_types(FinalTraceLines),
  +                    % io:format("=> MessageTypes for this test: ~p~n", [MessageTypes]),
  +
  +                    OmissionTypes = message_types(Omissions),
  +                    % io:format("=> OmissionTypes for this test: ~p~n", [OmissionTypes]),
   
                       %% Run the trace.
                       Command = "rm -rf priv/lager; IMPLEMENTATION_MODULE=" ++ os:getenv("IMPLEMENTATION_MODULE") ++ " SHRINKING=true REPLAY=true PRELOAD_OMISSIONS_FILE=" ++ PreloadOmissionFile ++ " REPLAY_TRACE_FILE=" ++ ReplayTraceFile ++ " TRACE_FILE=" ++ TraceFile ++ " ./rebar3 proper --retry | tee /tmp/partisan.output",
  
positive.code:                     false ->
                          false
                  end,
                  io:format("ScheduleValidOmissions: ~p~n", [ScheduleValidOmissions]),
  
                  ScheduleValidCausality = schedule_valid_causality(Causality, PrefixMessageTypes, OmittedMessageTypes, ConditionalMessageTypes),
                  io:format("ScheduleValidCausality: ~p~n", [ScheduleValidCausality]),
  
                  ScheduleValid = ScheduleValidCausality andalso ScheduleValidOmissions,
  
  
negative.code:                 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(".", []);
                              false ->
                                  ok
                          end,
  