Add the changes to What4 that this code depends on
Add the changes to What4 that this code depends on

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