Internal method highestVarIndex() to avoid dups
New method name TermApi.distinctVars()