public APIGenerator( ADT adt, GenerationParameters params, String fileName, String prologue, boolean termCompatibility) { super(params, ".", fileName);
public APIGenerator(ADT adt, GenerationParameters params, String prologue, boolean termCompatibility) { super(params);
	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();	}