export instantiateVarList, which is used by the rewriter
export instantiateVarList, which is used by the rewriter

GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script