restore definition of instantiateVerListChangeT
restore definition of instantiateVerListChangeT

(accidentally broken by 004586ee90dbf67d024a9b9539aa9c58453f9743)

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