scDefRewriteRules beta-reduces after doing recursor reductions.
scDefRewriteRules beta-reduces after doing recursor reductions.

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