false                                                                                                                                                                                                                                     
                                                                                                                                                                                                                                                            loop-condition                                                                                                                                            
                                                                                                                                                                                                                                                                                                                                                                                                                      
                                                                                                                                                                                                                                                                                                                                                                                                                      
                                                                                                                                                                                                                                                                                                                       true                                                                                           
                                                                                                                                                                                                                                                                                                                                                                                                                      
                                                                                                                                                                                                                                                                                                                                                                                                                      
                                                                                                                                                                     true                                                               inner condition 1                                                                                                                                                        false
                                                                                                                                                                                                                                                                                                                                                                                                                      
                                                                                                                                                                                                                                                                                                                                                                                                                      
                                                            true                                                                                                                                                                                                                                                 false                                                                                                
                                                                                                                              inner condition 2                                                                                                                                                                                                                                                                       
                                                                                                                                                                                                                                                                                                                                                                                                                      
                                                                                                                                                                                                                                                                                                                                                                                                                      
                                                           1 and 2                                                                                                                                                                                                              1 only