1956     Record *NewRec = NewRecOwner.get();  in instantiate()  local
1960       NewRec->addValue(Val);  in instantiate()
1963     NewRec->appendAssertions(Class);  in instantiate()
1967     MapResolver R(NewRec);  in instantiate()
1973         R.set(TArgs[i], NewRec->getValue(TArgs[i])->getValue());  in instantiate()
1975       NewRec->removeValue(TArgs[i]);  in instantiate()
1978     NewRec->resolveReferences(R);  in instantiate()
1983       NewRec->addSuperClass(SCPair.first, SCPair.second);  in instantiate()
1985     NewRec->addSuperClass(Class,  in instantiate()
1990     NewRec->resolveReferences();  in instantiate()
1994     NewRec->checkRecordAssertions();  in instantiate()
1996     Def = DefInit::get(NewRec);  in instantiate()
2062   Init *NewRec = Rec->resolveReferences(R);  in resolveReferences()  local
2063   if (NewRec != Rec)  in resolveReferences()
2064     return FieldInit::get(NewRec, FieldName)->Fold(R.getCurrentRecord());  in resolveReferences()