MC: Loading the counter example with loops in the simulator #102
Description
When loops are available in the counter example the index is save in the ReducedCounterExample and when firing the last transition a new loop unrolling should be added.
{{ message }}