scDefRewriteRules handles rhs with recursor applied to extra arguments.
scDefRewriteRules handles rhs with recursor applied to extra arguments.

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