for (auto& t: aut->transitions()) should iterate on all valid transitions
the fact that transition 0 should be skipped and that some transitions might be dead is an internal detail that users of the class should not need not know
the fact that transition 0 should be skipped and that some transitions might be dead is an internal detail that users of the class should not need not know