convert instantiateVars and related functions to use SharedContext interface.
convert instantiateVars and related functions to use SharedContext interface.

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