added function to generate a SharedContext that rewrites terms as they are built
added function to generate a SharedContext that rewrites terms as they are built

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