First attemp of implementing better criterion for stopping explorations
of traces that takes NoUse into account.