anchor.diff:          true -> ok;
           false ->
             FinalFormat = Format ++ IntMsg,
  -          force_printout(State, FinalFormat, Args)
  +          printout(State#logger_state{ticker = none}, FinalFormat, Args)
         end,
         Scheduler ! {finished, ExitStatus},
         ok;
  
positive.code:   end.
  
  stop_ticker(Ticker) ->
    Ticker ! {stop, self()},
    receive
      stopped -> ok
    end.
  
  %%------------------------------------------------------------------------------
  
negative.code:     {graph, Command} ->
        loop(graph_command(Command, State));
      {finish, SchedulerStatus, Scheduler} ->
        stop_ticker(Ticker),
        separator(Output, $#),
        to_file(Output, "Exploration completed!~n",[]),
        ExitStatus =
  