println("  if (ATisEmpty((ATermList) arg)) {"); println("    return 0;"); println("  }");
	private void genGetSeparatedLength(String typeId, String typeName, Separators seps) {		String decl = "int " + prefix + "get" + typeId + "Length (" + typeName + " arg)";				hprintln(decl + ";");		println(decl + " {");				println("  return (ATgetLength((ATermList) arg) / " + (seps.getLength() + 1) + ") + 1;");		println("}");	}