almost got a version of bind_satisfies_bind that works, except we need to prove some sort of equivalence to replace observing that works...
almost got a version of bind_satisfies_bind that works, except we need to prove some sort of equivalence to replace observing that works...

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