Add explicit error constructor for ambiguous preconditions.
Add explicit error constructor for ambiguous preconditions.

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