Use generic implementation of foldr in RME backend.
Use generic implementation of foldr in RME backend.

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