bugfix in the translation NDA -> DFA in Levenshtein
qchecks for Levenshtein