rename hoa_reachable, dotty_reachable, ...
_reachable part of these function does not make sense anymore, as we print the entire automaton, not only the reachable part.
Let's rename those function to
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information