Adapt implementation of 'read_sbv' command to its new monomorphic type
Adapt implementation of 'read_sbv' command to its new monomorphic type

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