a = len() does not provide int type to a
The following should give `a` an `int` type annotation.
```
a = len(["a"])
```

Example of where this isnt happening: https://github.com/adsharma/py2many/blob/main/tests/expected/comb_sort.py#L10