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