anchor.diff:                      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]),
  +
                       %% 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",
                       io:format("Executing command for iteration ~p:~n", [Iteration]),
  
positive.code:                                 {GenIteration0 + 1, GenNumPassed0, GenNumFailed0, GetNumPruned0 + 1, GenClassificationsExplored0, GenAdditionalTraces0}
                          end;
                      _Other ->
                          %% Store generated schedule.
                          true = ets:insert(?SCHEDULES, {GenIteration0, {Omissions, FinalTraceLines, ClassifySchedule, ScheduleValid}}),
  
  
negative.code:                     Output = os:cmd(Command),
  
                      ClassificationsExplored = ClassificationsExplored0 ++ [Classification],
                      % io:format("=> Classification now: ~p~n", [ClassificationsExplored]),
  
                      %% New trace?
                      {ok, NewTraceLines} = file:consult(TraceFile),
  