completeName

The full identity of this variable, obtained by combining name and id (e.g. "X_1"). Two Var instances are equals to each other (via Term.equals(Any?)) if and only if their completeNames match; see Term.equals for how to compare variables by name alone instead.