examples/msg/mc/result_parse

   1 never { /* !([]<>p->[](q-><>r)) */
   2 T0_init:
   3         if
   4         :: (1) -> goto T0_init
   5         :: (!r && q) -> goto T1_S4
   6         fi;
   7 T1_S4:
   8         if
   9         :: (!r) -> goto T1_S4
  10         :: (!r && p) -> goto accept_S4
  11         fi;
  12 accept_S4:
  13         if
  14         :: (!r) -> goto T1_S4
  15         :: (!r && p) -> goto accept_S4
  16         fi;
  17 }