[Potential Optimization] Multiple "0 comparisons" with guarenteed positive numbers can be added.

For example, if the compiler knows for a fact that a given set of numbers can only ever be positive or 0, and multiple bounds checks are being performed, the following is possible:

```js
/**
* @param {Array} a
* @param {Array} b
*/
function test(a, b) {
return a.length === 0 && b.length === 0;
}
```
->
```js
function test(a, b) {
return a.length + b.length === 0;
}
```