1  
 2  program test.alpha {
 3      transition main(a: bool, b: bool) -> (bool) {
 4          return (a);
 5      }
 6  
 7      transition foo(a: bool, b: bool) -> (bool) {
 8          return (b,);
 9      }
10  }