this.apiName = params.getApiName(); this.prefix = params.getPrefix();
	public APIGenerator(		ADT adt,		GenerationParameters params,		String fileName,		String prologue,		boolean termCompatibility) {		super(params, ".", fileName);		this.adt = adt;		this.prologue = prologue;		this.termCompatibility = termCompatibility;		afunRegister = new AFunRegister();	}