protected void genToString() {
private void genToString() {
    protected void genToString() {        println("  public String toString() {");        println("    return toTerm().toString();");        println("  }");        println();    }