Remove yices invocation from `double.saw` example
Remove yices invocation from `double.saw` example
GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script