|     | A method P - emphasizing the program flow inside P. | Lecture 14 - slide 10 : 35 Program 1 | 
|   public static void P(){
    // Entry 
    while(A){
      X;
      if (B){
        if(C)
          Y;
        else 
          Z;
        // p
      } else{
         V; W;
      }
      // q
    }
    // Exit: r
  }    |