1  
2  program test.alpha {
3      transition main(a: group, b: group) -> bool {
4          assert(a == b);
5          return a == b;
6      }}