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