INIT

  a

TRANS
  
  a & !next(a) | !a & next(a)

SPEC

  AG a
