Begin cleaning up DFAMinimization