Use sdd::tools::dot.
Display time to rewrite the dead states homomorphism.