Spellcheck BDDGenerator