String altClassName = AlternativeGenerator.getAltClassName(type.getId(),alt.getId());
String altClassName = AlternativeGenerator.getAltClassName(type,alt);
	   private void genFactoryPrivateMembers(ADT api) {	   	   Iterator types = api.typeIterator();	   while (types.hasNext()) {		 Type type = (Type) types.next();		 Iterator alts = type.alternativeIterator();		 while (alts.hasNext()) {		   Alternative alt = (Alternative) alts.next();		   String altClassName = AlternativeGenerator.getAltClassName(type.getId(),alt.getId());		   String typeClassName = getClassName(type.getId());		   String protoVar = "proto" + altClassName;		   String funVar = "fun" + altClassName;        		   println("  private aterm.AFun " + funVar + ";");		   println("  private " + typeClassName + " " + protoVar + ";");		 }	   }	   }