anchor.diff:      end.
   
   %% @private
  -schedule_valid(Causality, PrefixSchedule, _OmittedSchedule, ConditionalSchedule) ->
  +schedule_valid_causality(Causality, PrefixSchedule, _OmittedSchedule, ConditionalSchedule) ->
       DerivedSchedule = PrefixSchedule ++ ConditionalSchedule,
   
       RequirementsMet = lists:foldl(fun(Type, Acc) ->
  
positive.code:     %% Perform recursive analysis of the traces.
      PreviousIteration = 1,
      PreviousClassificationsExplored = [],
      analyze(1, PreloadOmissionFile, ReplayTraceFile, TraceFile, Causality, Annotations, PreviousIteration, PreviousClassificationsExplored, [TraceLinesWithoutFailure]),
  
      %% Should we try to find witnesses?
      case os:getenv("FIND_WITNESSES") of 
  
negative.code:                         NewTraces = case length(hd(NewTraceLines)) > length(TraceLines) of 
                              true ->
                                  io:format("=> * Adding trace to list to explore.~n", []),
                                  NewTraces0 ++ [{hd(NewTraceLines), Omissions}];
                              false ->
                                  NewTraces0
                          end,
  