Ensure that argument names in `w4Eval` are unique.
Ensure that argument names in `w4Eval` are unique.

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