Fix eq_Record conversion to match new record representation.
Fix eq_Record conversion to match new record representation.

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