public void AppendPackedTerm(Term t, ListDictionary sqlVarNames) { this.Append("("); this.Append(t.ToStringEx(sqlVarNames)); this.Append(")"); }