anchor.diff:                                      Difference = timer:now_diff(EndTime, StartTime),
                                       DifferenceMs = Difference / 1000,
                                       DifferenceSec = DifferenceMs / 1000,
  -                                    debug("Counterexample identified in ~p seconds.~n", [DifferenceSec]),
  +                                    debug("Counterexample identified in ~p seconds at iteration: ~p.~n", [DifferenceSec, CurrentIteration]),
                                       exit({error, counterexample_found});
                                   _Other ->
                                       ok
  
positive.code: 
      %% Run generated schedules stored in the ETS table.
      {PreloadNumPassed, PreloadNumFailed, PreloadNumPruned, PreloadClassificationsExplored, PreloadAdditionalTraces} = ets:foldl(fun({Iteration, {Omissions, FinalTraceLines, ClassifySchedule, ScheduleValid}}, {PreloadNumPassed0, PreloadNumFailed0, PreloadNumPruned0, PreloadClassificationsExplored0, PreloadAdditionalTraces0}) ->
          case execute_schedule(StartTime, Nodes, Counterexample, PreloadOmissionFile, ReplayTraceFile, TraceFile, TraceLines, {Iteration, {Omissions, FinalTraceLines, ClassifySchedule, ScheduleValid}}, PreloadClassificationsExplored0, PreloadAdditionalTraces0) of
              pruned ->
                  {PreloadNumPassed0, PreloadNumFailed0, PreloadNumPruned0 + 1, PreloadClassificationsExplored0, PreloadAdditionalTraces0};
              {passed, ClassificationsExplored, NewTraces} ->
  
negative.code:     end, TraceLines).
  
  %% @privae
  execute_schedule(StartTime, CurrentIteration, Nodes, Counterexample, PreloadOmissionFile, ReplayTraceFile, TraceFile, TraceLines, {Iteration, {Omissions, FinalTraceLines, ClassifySchedule, ScheduleValid}}, ClassificationsExplored0, NewTraces0) ->
      Classification = dict:to_list(ClassifySchedule),
  
      case ScheduleValid of 
  