Description of the Illustration qual_iteration_ctl
[ REVERSE ] iteration_control pred_clause_seq