Make scDefRewriteRules produce separate rules for constructor patterns.
Make scDefRewriteRules produce separate rules for constructor patterns.

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