fixed scAbstractExts and scGeneralizeExts to correctly handle open terms
fixed scAbstractExts and scGeneralizeExts to correctly handle open terms

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