Description of the Illustration pred_clause_seq
[ WHILE boolean_expression ] [WHEN boolean_expression ]