10081009101010111012101310141015101610171018
} } else { // always replace complex type restriction with base type ComplexRestrictionElement restrict = (ComplexRestrictionElement)child; modified = substituteTypeDerivation(lead, topcomp, childcomp, restrict); } break; }