Added toplMonitor.empty_automaton