this.prologue = prologue;
	public APIGenerator(ADT adt, String apiName, String prefix, boolean verbose, boolean folding) {		super(".", apiName, verbose, folding);		this.adt = adt;		this.apiName = apiName;		this.prefix = prefix;				afuns_by_name = new HashMap();		afuns_by_afun = new HashMap();	}