anchor.diff:                                  false ->
                                       ok;
                                   "true" ->
  +                                    EndTime = os:timestamp(),
  +                                    Difference = timer:now_diff(EndTime, StartTime),
  +                                    DifferenceMs = Difference / 1000,
  +                                    DifferenceSec = DifferenceMs / 1000,
  +                                    debug("Counterexample identified in ~p seconds.~n", [DifferenceSec]),
                                       exit({error, counterexample_found});
                                   _Other ->
                                       ok
  
positive.code:                                 ok
                          end,
  
                          case execute_schedule(Nodes, Counterexample, PreloadOmissionFile, ReplayTraceFile, TraceFile, TraceLines, {GenIteration0, {Omissions, FinalTraceLines, ClassifySchedule, ScheduleValid}}, GenClassificationsExplored0, GenAdditionalTraces0) of
                              pruned ->
                                  debug("Schedule pruned.~n", []),
                                  {GenIteration0 + 1, GenNumPassed0, GenNumFailed0, GetNumPruned0 + 1, GenClassificationsExplored0, GenAdditionalTraces0};
  
negative.code:     %% Perform recursive analysis of the traces.
      PreviousIteration = 1,
      PreviousClassificationsExplored = [],
      analyze(StartTime, Nodes, Counterexample, 1, 0, 0, 0, PreloadOmissionFile, ReplayTraceFile, TraceFile, Causality, CausalityAnnotations, BackgroundAnnotations, PreviousIteration, PreviousClassificationsExplored, [{TraceLinesWithoutFailure, [], [], []}]),
  
      %% Should we try to find witnesses?
      case os:getenv("FIND_WITNESSES") of 
  