private static void ParseGOMelementAndAttributes(Specification S, XmlElement E)
{
bool specialized = false;
GOM gom = ParseOMelementAndAttributes(S, E, specialized) as GOM;
if (S.IsTypeName(gom.Name))
throw new G25.UserException("In general outermorphism definition: a type '" + gom.Name + "' already exists.");
S.SetGeneralOM(gom);
}