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
To upload designs, you'll need to enable LFS and have admin enable hashed storage. More information