bezieht sich auf Kontrollfluß-Graphen (Knoten: Anweisungen, Kanten: mögliche Übergänge)
if (X) then { A }
Abschwächung: jede Schleife (interior) höchstens einmal