out.println("  }\n");
out.println("  }"); printFoldClose(out);
  private void genCheckInputSignature(PrintWriter out)  {    out.println("  // Check the input signature");    out.println("  public void checkInputSignature(ATermList sigs)");    out.println("  {");    out.println("    while(!sigs.isEmpty()) {");    out.println("      ATermAppl sig = (ATermAppl)sigs.getFirst();");    out.println("      sigs = sigs.getNext();");    out.println("      if (!sigTable.containsKey(sig)) {");    out.println("        // Sorry, but the term is not in the input signature!");    out.println("        notInInputSignature(sig);");    out.println("      }");    out.println("    }");    out.println("  }\n");  }