When the container relation is overridden by a narrowing relationship,
the variable declarations have to chase the narrowing tree to the
root declaration.