Test Case:  dining & acquiring
Description: one philosopher requests for two, another asks for the same fork
Family: dining philosophers
Comment: not mergabel in all (free missing); some and none should work


--------------------------
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):