More hackery to specify the post-conditions we want.
More hackery to specify the post-conditions we want.

This whole thing needs to be redesigned somewhat

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