Les techniques présentées ci-dessus, supposent une structure
hiérarchique simple, ( liste d'instructions Do - If -
Affectations). Une structure plus "complexe" serait alors traitée
"par morceaux" pour permettre de respecter cette hypothèse. Cependant,
il peut s'avérer intéressant par la suite de considérer un ensemble
plus complexe de structures hiérarchiques (un nid de boucle
quelquonque). Ainsi, dans l'exemple de la figure 10,
l'évaluation du second test pourrait remonter au dessus de la boucle
Do 
alors que l'initialisation de 
peut remonter au
dessus de la boucle Do 
.
Figure 10: Considérons une structure plus complexe.