Duplicate Parallel Composition
When I compile
A = (a->A).
B = (b->B).
||AB = (A || B).
I get as output:
Compiled: A
Compiled: B
Composition:AB = A || B
State Space: 1 * 1 = 2 ** 0
Composition:AB = A || B
State Space: 1 * 1 = 2 ** 0
Composing...
-- States: 1 Transitions: 2 Memory used: 63294K
Composed in 49ms
At the very least, the information of state space should be reported once.
Also, is the composition being computed twice?