Add MinizeDFAStates function