for (int i = 0; i < arity; i++) { if (i > 0) writer.print(", ");
for (int i = 1; i <= arity; i++) { if (i > 1) writer.print(", ");
    public void printTParams() {        for (int i = 0; i < arity; i++) {            if (i > 0) writer.print(", ");            writer.print("T").print(i);        }    }