anchor.diff:                          NewTraces = case length(hd(NewTraceLines)) > length(TraceLines) of 
                               true ->
                                   io:format("=> * Adding trace to list to explore.~n", []),
  -                                NewTraces0 ++ [hd(NewTraceLines)];
  +                                NewTraces0 ++ [{hd(NewTraceLines), Omissions}];
                               false ->
                                   NewTraces0
                           end,
  
positive.code:     end.
  
  %% @private
  schedule_valid(Causality, PrefixSchedule, _OmittedSchedule, ConditionalSchedule) ->
      DerivedSchedule = PrefixSchedule ++ ConditionalSchedule,
  
      RequirementsMet = lists:foldl(fun(Type, Acc) ->
  
negative.code: analyze(_Pass, _PreloadOmissionFile, _ReplayTraceFile, _TraceFile, _Causality, _Annotations, _PreviousIteration, _PreviousClassificationsExplored, []) ->
      ok;
  
  analyze(Pass, PreloadOmissionFile, ReplayTraceFile, TraceFile, Causality, Annotations, PreviousIteration, PreviousClassificationsExplored, [{TraceLines, BaseOmissions}|RestTraceLines]) ->
      io:format("Beginning analyze pass: ~p~n", [Pass]),
  
      %% Filter the trace into message trace lines.
  