Redefine `ecAt` to generate nicer rewrite rules.
Redefine `ecAt` to generate nicer rewrite rules.

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