1831     Record *NewRec = NewRecOwner.get();  in instantiate()  local
1835       NewRec->addValue(Val);  in instantiate()
1838     NewRec->appendAssertions(Class);  in instantiate()
1842     MapResolver R(NewRec);  in instantiate()
1848         R.set(TArgs[i], NewRec->getValue(TArgs[i])->getValue());  in instantiate()
1850       NewRec->removeValue(TArgs[i]);  in instantiate()
1853     NewRec->resolveReferences(R);  in instantiate()
1858       NewRec->addSuperClass(SCPair.first, SCPair.second);  in instantiate()
1860     NewRec->addSuperClass(Class,  in instantiate()
1865     NewRec->resolveReferences();  in instantiate()
1869     NewRec->checkRecordAssertions();  in instantiate()
1871     Def = DefInit::get(NewRec);  in instantiate()
1940   Init *NewRec = Rec->resolveReferences(R);  in resolveReferences()  local
1941   if (NewRec != Rec)  in resolveReferences()
1942     return FieldInit::get(NewRec, FieldName)->Fold(R.getCurrentRecord());  in resolveReferences()