I lied before, but now it actually does quit from submenu, i tested it
blank subsets won't be added to dfa