Remove unused empty DFA constructor