((CClassInfo)r).setBaseClass((CClassInfo)topci); if (r instanceof CElementInfo && topci instanceof CElementInfo) ((CElementInfo)r).setSubstitutionHead((CElementInfo)topci);
((CClassInfo)r).setBaseClass((CClassInfo)topci); if (r instanceof CElementInfo && topci instanceof CElementInfo) ((CElementInfo)r).setSubstitutionHead((CElementInfo)topci);
((CClassInfo)r).setBaseClass((CClassInfo)topci); if (r instanceof CElementInfo && topci instanceof CElementInfo) ((CElementInfo)r).setSubstitutionHead((CElementInfo)topci);
((CClassInfo)r).setBaseClass((CClassInfo)topci); if (r instanceof CElementInfo && topci instanceof CElementInfo) ((CElementInfo)r).setSubstitutionHead((CElementInfo)topci);
((CClassInfo)r).setBaseClass((CClassInfo)topci); if (r instanceof CElementInfo && topci instanceof CElementInfo) ((CElementInfo)r).setSubstitutionHead((CElementInfo)topci);