1  
 2  program test.alpha {
 3  
 4      transition bar() {
 5          if (true) {
 6              return;
 7          }
 8          return;
 9      }
10  }