Let scalar-evolution analyze loops with an unsigned comparison for the exit