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:     %% Should we explore any new schedules we have discovered?
      case os:getenv("RECURSIVE") of 
          "true" ->
              analyze(StartTime, Nodes, Counterexample, Pass + 1, PreloadNumPassed, PreloadNumFailed, PreloadNumPruned, PreloadOmissionFile, ReplayTraceFile, TraceFile, Causality, CausalityAnnotations, BackgroundAnnotations, 1, [], PreloadAdditionalTraces);
          _ ->
              analyze(StartTime, Nodes, Counterexample, Pass + 1, PreloadNumPassed, PreloadNumFailed, PreloadNumPruned, PreloadOmissionFile, ReplayTraceFile, TraceFile, Causality, CausalityAnnotations, BackgroundAnnotations, GenIteration, PreloadClassificationsExplored, RestTraceLines)
      end.
  
  %% @doc Generate the powerset of messages.
  