4681   TypoCorrection BestTC = Consumer->getNextCorrection();  in CorrectTypo()  local
4683   if (!BestTC)  in CorrectTypo()
4686   ED = BestTC.getEditDistance();  in CorrectTypo()
4697       SecondBestTC.getEditDistance(false) > BestTC.getEditDistance(false)) {  in CorrectTypo()
4698     const TypoCorrection &Result = BestTC;  in CorrectTypo()
4713     if (BestTC.getCorrection().getAsString() != "super") {  in CorrectTypo()
4715         BestTC = SecondBestTC;  in CorrectTypo()
4717         BestTC = (*Consumer)["super"].front();  in CorrectTypo()
4721     if (BestTC.getEditDistance() == 0 ||  in CorrectTypo()
4722         BestTC.getCorrection().getAsString() != "super")  in CorrectTypo()
4725     BestTC.setCorrectionRange(SS, TypoName);  in CorrectTypo()
4726     return BestTC;  in CorrectTypo()