My recent changes to dfa.c have incorporated the removal of that "if
(0)" and have refactored the rest so I'm marking this bug as done.
- bug#16729: suggested small refactoring in dfa.c arnold
- bug#16729: suggested small refactoring in dfa.c Paul Eggert
