Avoid using deprecated Fin-related operations in simpset
Avoid using deprecated Fin-related operations in simpset

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