Using Damerau-Levenshtein or whatever, we could compile a list of nearby but ultimately unused variables and complain about their existence.