Remove use of the `Given` constraint in favor of direct argument passing.
Remove use of the `Given` constraint in favor of direct argument passing.

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