S0 = ( lsamRendezvous -> S1
    ),
S1 = ( tliBurn -> S1
     | lsamRendezvous -> S1
    ).
