printFoldClose(out);
  private void genNotInInputSignature(PrintWriter out)  {    out.println("  // This function is called when an input term");    out.println("  // was not in the input signature.");    out.println("  void notInInputSignature(ATerm t)");    out.println("  {");    out.println("    throw new RuntimeException("		+ "\"term not in input signature: \"+t);");    out.println("  }");  }