Add the list of fresh variables to the StateSpec
Add the list of fresh variables to the StateSpec

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