genPredicates();
	private void genListTypeClassImpl() {		println(classModifier() + " class " + typeName + " extends aterm.pure.ATermListImpl");		println("{");		genFromString(typeName);		genFromTextFile(typeName);		genIsTypeMethod(type);		genFromTerm();		genIsAlternativeMethods();		genGetters();		genGetStaticFactory();		genSharedObjectInterface();		println("}");	}