Good point.

That is a bit annoying to handle. I guess we could do a map from var name
to child index? Whatever you think is best.