Begin
For all
  Compute  
End for
// generation of all control construct partitions
For all :
   If    (  and  )  then
       
   do
     ;
   While  )
    
   
  
End if
End for
Algorithm 2: Generation of control-construct partitions.