anchor.diff:        Format = "Done at ~s (Exit status: ~p)~n  Summary: ",
         Args = [FinishTimestamp, ExitStatus],
         to_file(Output, Format, Args),
  -      IntMsg = interleavings_message(State),
  +      IntMsg = final_interleavings_message(State),
         to_file(Output, "~s", [IntMsg]),
         ok = close_files(State),
         case Verbosity =:= ?lquiet of
           true -> ok;
           false ->
  -          force_printout(State, Format, Args)
  +          FinalFormat = Format ++ IntMsg,
  +          force_printout(State, FinalFormat, Args)
         end,
         Scheduler ! {finished, ExitStatus},
         ok;
  
positive.code:     _ -> ""
    end.
  
  clear_progress() ->
    to_stderr("~c[1A~c[2K\r", [27, 27]).
  
  to_stderr(Format, Data) ->
    to_file(standard_error, Format, Data).
  
  to_file(disable, _, _) ->
    ok;
  to_file(Output, Format, Data) ->
    Msg = io_lib:format(Format, Data),
    io:format(Output, "~s", [Msg]).
  
  ticker(Logger) ->
    Logger ! tick,
    receive
      stop -> ok
    after
      ?TICKER_TIMEOUT -> ticker(Logger)
    end.
  
negative.code:           print_depth                  :: pos_integer(),
            rate_timestamp = timestamp() :: timestamp(),
            rate_prev = 0                :: non_neg_integer(),
            streams = []                 :: [{stream(), [string()]}],
            timestamp = timestamp()      :: timestamp(),
            ticker = none                :: pid() | 'none' | 'force',
            traces_explored = 0          :: non_neg_integer(),
            traces_ssb = 0               :: non_neg_integer(),
            traces_total = 0             :: non_neg_integer(),
  