Enforces that all objects used as keys have had all of their children used (based on the values in `used).
A mapping of which children have been used for what objects.
See Implementation
Enforces that all objects used as keys have had all of their children used (based on the values in `used).