-accept_S5 : /* 2 */
- if
- :: (pready && !consume) -> goto T0_S5
- :: (produce && !consume) -> goto accept_S5
- fi;
-T0_S5 : /* 3 */
- if
- :: (pready && !consume) -> goto T0_S5
- :: (produce && !consume) -> goto accept_S5
- fi;
-}
\ No newline at end of file