Upgrade a NFA/to_DFA method implementation