examples/msg/mc/promela_centralized_liveness

   1 never { /* !(!(GFcs)) */
   2 T0_init :    /* init */
   3         if
   4         :: (cs) -> goto accept_S1
   5         :: (1) -> goto T0_init
   6         fi;
   7 accept_S1 :    /* 1 */
   8         if
   9         :: (cs) -> goto accept_S1
  10         :: (1) -> goto T0_init
  11         fi;
  12 }