Simplify types of 'toBool' and 'toWord' functions in SBV backend
Simplify types of 'toBool' and 'toWord' functions in SBV backend

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