main() function in LevenshteinDistance replaced by formal test
procedure.