Frame home = assertHasFrame(root, "Home");
DomainIterator iterator = assertHasDomainIterator(home, "Iterator");
DomainInstance instance = iterator.getCurrentInstance();
assertGenerated(instance);
IteratorList list = assertHasIteratorList(home, "List");
Label hpk = assertHasLabel(list, "generated primary key");
DomainAttributeInstance dai = assertHasDomainAttributeInstance(instance, "generated primary key");
assertGenerated(dai);
assertGenerated(assertHasSetWire(root, dai, hpk));