SAWCore simulator: support new overloaded prims in SBV backend
SAWCore simulator: support new overloaded prims in SBV backend

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