Give simulator backends access to original Term for uninterpreted funs.
Give simulator backends access to original Term for uninterpreted funs.

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