MC: Loading the counter example with loops in the simulator

[mgieseking]

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.