String makeClassName = "make" + className;
String manyPattern = patternListVariable(type);
String elementType = type.getElementType();
// String elementClass = TypeGenerator.className(elementType);
// String elementClassFromTerm = elementClass + "FromTerm";
Separators separators = type.getSeparators();
int headLength = 1 + separators.getLength(); // on the ATerm level
int tailIndex = 1 + type.countSeparatorFields(); // on the abstract
// level
println(" public " + returnTypeName + " " + className
+ "FromTerm(aterm.ATerm trm) {");