A Verifier of Lexical Hypotheses in a Speech Recognition System