def renameDimVars(libItemSort, term):
i = 0
dvs = ASTUtils.getDimVars(libItemSort)
for dv in dvs:
newdv = mkDimVarNotInTerm(dv, term)
libItemSort = ASTUtils.replaceAllSubTerms(libItemSort, dv, newdv)
return libItemSort
def renameSortVars(libItemSort, term):
i = 0
svs = ASTUtils.getSortVars(libItemSort)
for sv in svs:
newsv = getSortVarNotInTerm(sv, term)
libItemSort = ASTUtils.replaceAllSubTerms(libItemSort, sv, newsv)
return libItemSort
