println("      term = " + factoryGetter() + ".toTerm(this);");
println("      term = " + buildFactoryGetter() + ".toTerm(this);");
    protected void genToTerm() {        println("  public aterm.ATerm toTerm() {");        println("    if (term == null) {");        println("      term = " + factoryGetter() + ".toTerm(this);");        println("    }");        println("    return term;");        println("  }");        println();    }