bug fix: binders with the same string names were causing unintended shadowing
bug fix: binders with the same string names were causing unintended shadowing

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