Yes, MP trace generator guarantees that all valid traces within given scope will be produced.
try to run the following example (for scope 1).
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)