nitcc: to_minimal_dfa is a little faster