Change emptiness_check interface
The class should provide two methods is_empty() and accepting_run(), to be consistent with the method offered by twa.
This allows to optimize the algorithms when there is no need to compute an accepting run (e.g. couvreur on terminal automata).
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information