New function scWhnf for reducing SharedTerms to weak head-normal form
New function scWhnf for reducing SharedTerms to weak head-normal form

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