Always minimize an Nfa before loading it into the editor, and make the graph drawing prettier.