Compter les occurrences des lettres de votre nom

nom = "Alame"
c = occurrences(nom.lower())
assert c == {"a": 2, "l": 1, "m": 1, "e": 1}
assert sum(c.values()) == len(nom)

for essai in ["", "aaaa", "Ibrahim"]:
    assert sum(occurrences(essai).values()) == len(essai)

Le lower() est une décision, pas un détail : sans lui, "A" et "a" seraient deux clés distinctes et le dictionnaire aurait cinq entrées au lieu de quatre. La postcondition, elle, resterait vraie dans les deux cas — elle contrôle qu'on n'a rien perdu, pas qu'on a bien normalisé.