5400   TypoCorrection BestTC = Consumer->getNextCorrection();  in CorrectTypo()  local
5402   if (!BestTC)  in CorrectTypo()
5405   ED = BestTC.getEditDistance();  in CorrectTypo()
5416       SecondBestTC.getEditDistance(false) > BestTC.getEditDistance(false)) {  in CorrectTypo()
5417     const TypoCorrection &Result = BestTC;  in CorrectTypo()
5432     if (BestTC.getCorrection().getAsString() != "super") {  in CorrectTypo()
5434         BestTC = SecondBestTC;  in CorrectTypo()
5436         BestTC = (*Consumer)["super"].front();  in CorrectTypo()
5440     if (BestTC.getEditDistance() == 0 ||  in CorrectTypo()
5441         BestTC.getCorrection().getAsString() != "super")  in CorrectTypo()
5444     BestTC.setCorrectionRange(SS, TypoName);  in CorrectTypo()
5445     return BestTC;  in CorrectTypo()