removed undefined and unused function scNat; scInteger should be used instead
removed undefined and unused function scNat; scInteger should be used instead

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