updated to use latest version of nfa-visualizer