anchor.diff:            target                  :: analysis_target(),
             run_count    = 1        :: pos_integer(),
             sleep_blocked_count = 0 :: non_neg_integer(),
  +          total_trans = 0         :: non_neg_integer(),
  +          sleep_trans = 0         :: non_neg_integer(),
             show_output  = false    :: boolean(),
             tickets      = []       :: [concuerror_ticket:ticket()],
             trace        = []       :: [trace_state()],
  
positive.code:     %% Return the analysis result
      RunCnt = State#dpor_state.run_count,
      SBlocked = State#dpor_state.sleep_blocked_count,
      case State#dpor_state.tickets of
          [] -> {ok, RunCnt, SBlocked};
          Tickets -> {error, RunCnt, SBlocked, Tickets}
      end.
  
  %% =============================================================================
  %% ENGINE (manipulation of the Erlang processes under the scheduler)
  
negative.code:                 {Mins, Secs} = concuerror_util:to_elapsed_time(T1, T2),
                  ?debug("Done in ~wm~.2fs\n", [Mins, Secs]),
                  %% Print analysis summary
                  {Tickets, RunCount, SBlocked, Trans, STrans} = Result,
                  StrB =
                      case SBlocked of
                          0 -> " ";
                          _ -> io_lib:format(
                                  " (encountered ~w sleep-set blocked traces (~w transitions)) ",
                                  [SBlocked, STrans])
                      end,
                  concuerror_log:log(0, "\n\nAnalysis complete. Checked "
                      "~w interleaving(s) (~w transitions)~sin ~wm~.2fs:\n",
                      [RunCount, Trans, StrB, Mins, Secs]),
                  case Tickets =:= [] of
                      true ->
                          concuerror_log:log(0, "No errors found.~n"),
                          {ok, {Target, RunCount, SBlocked}};
                      false ->
                          TicketCount = length(Tickets),
                          concuerror_log:log(0,
                                  "Found ~p erroneous interleaving(s).~n",
  