Add definition for new primitive "Prelude.error"
Add definition for new primitive "Prelude.error"

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