Avoid using Fin-related rules in rewriter simpset
Avoid using Fin-related rules in rewriter simpset

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