flashing_led.out

     = ([(0%nat,
        [Tm (Output 1%nat)
           [CndLe (EClock (CVar "x")) (ELit 1);
           CndLe (ELit 1) (EClock (CVar "x"));
           CndLe (EClock (CVar "x")) (ELit 2)] [] 1%nat
	   [(2, CVar "x")]]);
       (1%nat,
       [Tm (Output 0%nat)
          [CndLe (EClock (CVar "x")) (ELit 2);
          CndLe (ELit 2) (EClock (CVar "x"));
	  CndLe (ELit 0) (ELit 1)]
          [CVar "x"] 0%nat [(1, CVar "x")]])], NONE)
     : program