String result = "";
String result = null;
	private String buildListConstructorImpl(ATerm pattern) {		String result = "";		ATermList list = (ATermList) pattern;		int length = list.getLength();		if (length == 0) {			result = "ATempty";		} else {			ATerm last = list.elementAt(length - 1);			if (last.getType() == ATerm.PLACEHOLDER) {				ATerm ph = ((ATermPlaceholder) last).getPlaceholder();				if (ph.getType() == ATerm.LIST) {					ATermAppl field = (ATermAppl) (((ATermList) ph).getFirst());					result =						"(ATermList)"							+ StringConversions.makeIdentifier(field.getName());				}			}			if (result == null || result.length()==0) {				result = "ATmakeList1(" + genConstructorImpl(last) + ")";			}			for (int i = length - 2; i >= 0; i--) {				ATerm elem = list.elementAt(i);				result =					"ATinsert("						+ result						+ ", "						+ genConstructorImpl(elem)						+ ")";			}		}		result = "(ATerm)" + result;		return result;	}