1  
2  program test.alpha {
3      transition foo(a: u8) {
4          if false {
5          } else {
6              a = 0u8;
7          }
8      }
9  }