Implemented function scTermF for building SharedTerms.
Implemented function scTermF for building SharedTerms.

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