this.factory = new PureFactory();
this.factory = factory;
	public CDictionaryGenerator(		ADT adt,		String directory,		String apiName,		String prefix,		boolean verbose,		boolean folding) {		super(directory, apiName, ".dict", verbose, folding);		this.adt = adt;		this.apiName = apiName;		this.prefix = prefix;		this.factory = new PureFactory();				afuns_by_name = new HashMap();		afuns_by_afun = new HashMap();	}