anchor.diff:      {graph, Command} ->
         loop(graph_command(Command, State));
       {finish, SchedulerStatus, Scheduler} ->
  -      stop_ticker(Ticker),
  +      NewState = stop_ticker(State),
         separator(Output, $#),
         to_file(Output, "Exploration completed!~n",[]),
         ExitStatus =
  
positive.code:      output_name = OutputName,
       print_depth = PrintDepth,
       streams = Streams,
       ticker = Ticker,
       timestamp = Timestamp,
       traces_explored = TracesExplored,
       traces_ssb = TracesSSB,
  
negative.code:   io_lib:format("~2..0w ~s ~4w ~2..0w:~2..0w:~2..0w",
                  [Day, Mstr, Year, Hour, Minute, Second]).
  
  printout(#logger_state{ticker = Ticker} = State, Format, Data)
    when Ticker =/= none ->
    progress_clear(),
  