minimize_wdba() should have improved detection of terminal automata in its output
But this should not be done at the cost of computing another SCC decomposition. Can it be done inside minimize_dfa()?
To upload designs, you'll need to enable LFS and have admin enable hashed storage. More information