added marks to computations and computation funs as the correct way to track unfolding
added marks to computations and computation funs as the correct way to track unfolding

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