Removing obsolete DFA examples