5373   TypoCorrection BestTC = Consumer->getNextCorrection();  in CorrectTypo()  local
5375   if (!BestTC)  in CorrectTypo()
5378   ED = BestTC.getEditDistance();  in CorrectTypo()
5389       SecondBestTC.getEditDistance(false) > BestTC.getEditDistance(false)) {  in CorrectTypo()
5390     const TypoCorrection &Result = BestTC;  in CorrectTypo()
5405     if (BestTC.getCorrection().getAsString() != "super") {  in CorrectTypo()
5407         BestTC = SecondBestTC;  in CorrectTypo()
5409         BestTC = (*Consumer)["super"].front();  in CorrectTypo()
5413     if (BestTC.getEditDistance() == 0 ||  in CorrectTypo()
5414         BestTC.getCorrection().getAsString() != "super")  in CorrectTypo()
5417     BestTC.setCorrectionRange(SS, TypoName);  in CorrectTypo()
5418     return BestTC;  in CorrectTypo()