Remove redundant `$` in function applications with record syntax.
Remove redundant `$` in function applications with record syntax.

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