fix substitution in mrRefinesFunH in the case of dependent types
fix substitution in mrRefinesFunH in the case of dependent types

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