Writes to non-zero based tensors

[abadams]

Consider:

out(i) = in(10 - i)

It will infer a range for i that does not necessarily start at zero. What should this mean for the domain of out? I don't think we have any tests for this pattern yet, and I don't have a firm idea of what the semantics should be.

[prigoyal]

as @nicolasvasilache correctly linked, we have a test case for it now. https://tensorcomprehensions.slack.com/files/U9S8ULND6/F9T5723L2/range_inference.py