addAlternative(typeId, type, altId, alt);
if (altId.equals("int") || altId.equals("str") || altId.equals("term") || altId.equals("real") || altId.equals("list")) { throw new RuntimeException("Can not used reserved type name (" + altId + ") as name of alternative in " + entry); } else { addAlternative(typeId, type, altId, alt); }
	private void processConstructors(String typeId, List alts) {		Type type = new Type(typeId);		ListIterator iter = alts.listIterator();		while (iter.hasNext()) {			Entry entry = (Entry) iter.next();			if (entry.isConstructor()) {				String altId = ((ATermAppl) entry.getAlternative()).getAFun().getName();				ATerm pattern = entry.getTermPattern();				Alternative alt = new Alternative(altId, pattern);				addAlternative(typeId, type, altId, alt);			} else {				throw new RuntimeException("Unexpected alternative");			}		}		types.add(type);	} 