Would it be better to avoid that deref path manipulation by doing this lowering in lower_index_loads()?
If not, I'd rather have a dedicated interface for "get the immediate parent of this deref". I really want to make as little code touch the "path" fields as possible.