Rewrite testing automata as Fin( ! 0)
Testing automata can be re-write using the acceptance F(!0) for livelock accepting states. Thus ta will be consistent with the rest of the library
Testing automata can be re-write using the acceptance F(!0) for livelock accepting states. Thus ta will be consistent with the rest of the library