Use generic implementation of foldr from saw-core Prims module.
Use generic implementation of foldr from saw-core Prims module.

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