SBV backend now translates ExtCns as uninterpreted functions
SBV backend now translates ExtCns as uninterpreted functions

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