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