TODO: remove dangling nodes from the optimized Buchi automata