7ac89d27ad
With this change, normalised node ids correspond to def id indices where they exist, or are made disjoint from def ids otherwise. r? @nikomatsakis