States can now be rendered as dot files