Fixed bitblast implementation of 'upd'
Fixed bitblast implementation of 'upd'

Previously it took more arguments than indicated by its type.
(cf. fba48c0a86544eb873537afdc563a961ecbb92e1)

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