examples/msg/mc/chord/promela_chord_liveness

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