UNITIALIZED_VALUE false positive

Please include the following information:
- [x] The version of infer from https://github.com/facebook/infer/commit/d1de5db6c88036c5e7693b1de8ca6e81e845c08d commit
- [x] Debian docker from Infer repository
- [x] Which command you ran: `infer run -- make`.
```c
void myfun(size_t i) {
size_t j;
for (; j = i * 2+ 1, j < 10; i = j) { j++; }
return;
}
```
It prints (wrongly) this warning:
```
error: UNITIALIZED_VALUE
The value read from j was never initialized
```