value flow: improved bailouts in ?:
value flow: if unsigned variable is compared against 1 with either >= or <= then assume it can have the value 0