Test Case: send & quit
Description: connection established, one user quits, one user sends mail 
Family: mail
Comment: extension of the running example from CP-Paper


--------------------------
Details
--------------------------


State Machine:
===============

Number of state machines (P1): 3
Number of states (P2):
Number of transitions (P3):


SD Origin
===============

Number of LL (P4): 3
Number of messages (P5):


SD R1
===============

Number of LL (P6):
Number of messages (P7):


SD R2
===============

Number of LL (P8):
Number of messages (P9):