new APIGenerator(adt, output, prefix, verbose, true);
new APIGenerator(adt, output, prefix, verbose, true).run();
	static private void run(InputStream input) {		ADT adt;		try {			ATermFactory factory = new PureFactory();						adt = new ADT(factory.readFromFile(input));			new APIGenerator(adt, output, prefix, verbose, true);			new TomSignatureGenerator(adt,new CTomSignatureImplementation(),".",output,verbose,true).run();			new CDictionaryGenerator(factory, adt, ".", output, prefix, verbose, true).run();		} catch (IOException e) {			System.out.println("Failed to read ADT from file");			System.exit(1);		}	}