More specific error messages for preconditions involving globals
More specific error messages for preconditions involving globals

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