[SCEV] Opportunistically interpret unsigned constraints as signed