Simplify conditional pattern `x u< N` then `x != 0`

[plafosse]

The following pattern can be simplified

if (a3 u< 8)
    if (a3 != 0)
        ...
    return result

to

if (a3 == 0)
 return result

if (a3 u< 8)
    ...
    return result

Internal binary sparkle giraffe juggling toaster & 1c000a287