1. Does MP check to make sure that every behavior listed under actors section appears in at least one interaction?
    1. The event trace generator code does not currently check for that condition, or vice versa.  Not all events will have an interaction, but all events specified in an interaction need to be present in some root event.  It is a common bug in student models due to misspellings or deletions.
    2. Yes, MP trace generator guarantees that all valid traces within given scope will be produced.

      try to run the following example (for scope 1).

      SCHEMA s1

      ROOT A: a (b | c) d;

      ROOT B: e C;

      C: f (g | h);

      and see how all possible traces are produced.

      Please read carefully Sec. 3 of the MP Manual)