Generate finite counter traces

[amiratarek3007]

Is your feature request related to a problem? Please describe.
I am using Uppaal as a model checker for my system and I needed to check the completeness or coverage of my system. So basically I thought that for a certain unsatisfied query Uppaal can get all the UNSAT traces but it only gets one. I understand that this can be infinite but at least it can get to traces bounded by a number or when I externally loop the verifyta I can get different counter traces not the exact same one for every run.

Describe the solution you'd like
I'd like Uppaal to be able to show counter traces as long as they are finite.

Describe alternatives you've considered
Or show different traces for several check runs not the same trace for every check run.

Additional context
Thanks