bugfix: ToplSpecs used to fail for empty automaton