Für gegebene Schleifen sind Invarianten schwer zu finden.
Deswegen (,,Extreme Programming`` a la Hoare, Dijkstra):
Oft sind Invarianten durch Datenstrukturen vorgegeben (Baum soll heap-geordnet oder balanciert oder Suchbaum sein)
Beispiel Heap-sort. Struktur-Invariante ist:
1 < k < n : a[k/2]a[k]