String directory, String fileName,
	public CDictionaryGenerator(		ADT adt,		GenerationParameters params,		ATermFactory factory,		String directory,		String fileName,		AFunRegister afunRegister) {		super(params);		this.adt = adt;		this.factory = factory;		this.afunRegister = afunRegister;		setDirectory(directory);		setExtension(".dict");		setFileName(fileName);	}