anchor.diff:          end,
           io:format("ValidOmissions: ~p~n", [ValidOmissions]),
   
  -        case ValidatedCausality andalso not lists:member(EarlyClassification, GenClassificationsExplored0) of
  +        case ValidOmissions andalso ValidatedCausality andalso not lists:member(EarlyClassification, GenClassificationsExplored0) of
               true ->
                   io:format("Entering generation pass.~n", []),
   
  
positive.code:                     Output = os:cmd(Command),
  
                      ClassificationsExplored = ClassificationsExplored0 ++ [Classification],
                      io:format("=> Classification now: ~p~n", [ClassificationsExplored]),
  
                      %% New trace?
                      {ok, NewTraceLines} = file:consult(TraceFile),
  
negative.code:                     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]),
  