1. Can M be executed more than once for the same case? *

2. If F is executed for a case, can M be executed later on for the same case? *

3. If H is executed for a case, is L then always executed for the same case? *

4. Can G and M be enabled at the same time for the same case? *

5. Can G be executed more than once in the same case? *

6. If B is executed for a case, can E be executed later on for the same case? *

7. If A is executed for a case, is E then always executed for the same case? *

8. Can I and L be enabled at the same time for the same case? *

9. Is there any problem with this process? (e.g. improper completion, deadlocks, etc.)? *