Update SharedTerm function to handle 'Unshared' constructor
Update SharedTerm function to handle 'Unshared' constructor

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